applications
|
coq_8_16: init at 8.16+rc1
|
2022-06-08 18:42:10 +02:00 |
data
|
Merge master into haskell-updates
|
2022-06-07 00:11:09 +00:00 |
desktops
|
cdesktopenv: add -fcommon workaround
|
2022-06-05 18:15:16 +01:00 |
development
|
coq_8_16: init at 8.16+rc1
|
2022-06-08 18:42:10 +02:00 |
misc
|
Merge pull request #176498 from ehmry/xscreensaver-perl
|
2022-06-06 06:53:05 +00:00 |
servers
|
apache-jena: 4.4.0 -> 4.5.0
|
2022-06-08 20:24:29 +02:00 |
stdenv
|
release-cross.nix: fix cross bootstrap tools eval
|
2022-06-08 17:17:10 +00:00 |
top-level
|
coq_8_16: init at 8.16+rc1
|
2022-06-08 18:42:10 +02:00 |