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 |
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
|
radare2: 2.5.0 -> 2.6.0
|
2018-05-23 15:45:56 +01:00 |