agda
|
agda: install literate files
|
2020-06-01 13:59:20 +01:00 |
appimage
|
appimage: switch to gst-plugins-base 1.0
|
2020-07-18 11:51:05 +02:00 |
cc-wrapper
|
Merge pull request #61019 from volth/gcc.arch-amd
|
2020-09-01 22:31:16 -04:00 |
fetchbzr
|
treewide: replace bazaar with breezy
|
2020-05-25 09:22:54 +02:00 |
fetchurl
|
Merge branch 'master' into fetchurl-no-hash
|
2020-07-06 14:40:49 -04:00 |
rust
|
fetchCrate: accept pname besides crateName
|
2020-08-28 08:34:22 +02:00 |
setup-hooks
|
wrapGAppsHook: add comments
|
2020-07-24 00:36:12 +02:00 |
singularity-tools
|
singularity: 3.2.1 -> 3.6.1
|
2020-07-22 08:51:37 +10:00 |