coq-modules
|
coqPackages.stdpp: init at 1.1
|
2018-05-15 20:55:53 +00:00 |
idris-modules
|
idrisPackages.vdom: init at 0.6.0
|
2018-05-08 11:41:52 +02:00 |
libraries
|
poppler: 0.64.0 -> 0.65.0 (#40786)
|
2018-05-22 18:22:42 +02:00 |
lisp-modules
|
asdf: 3.3.1 -> 3.3.2
|
2018-05-07 05:20:34 -07:00 |
misc
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
mobile
|
androidndk: Fix usage as crossSystem
|
2018-05-17 17:22:27 +02:00 |
node-packages
|
ios-rebuild: Unbreak build
|
2018-05-16 14:28:23 -04:00 |
perl-modules
|
perlPackages.BerkeleyDB: fix db dependency
|
2018-05-22 17:49:04 +03:00 |
r-modules
|
rPackages.JuniperKernel: fix non-Darwin build
|
2018-05-15 17:50:11 +09:00 |
tools
|
meson: 0.45.1 → 0.46.1
|
2018-05-22 20:31:17 +02:00 |