coq-modules
|
coqPackages.hierarchy-builder: init at 0.9.0
|
2020-03-11 17:15:52 +01:00 |
go-modules
|
buildGoModule: enable strictDeps
|
2020-03-18 11:29:29 +00:00 |
idris-modules
|
idrisPackages: add tf-random package
|
2020-03-20 13:44:50 +01:00 |
libraries
|
libdvdnav: 6.0.1 -> 6.1.0
|
2020-03-24 14:41:22 +00:00 |
lisp-modules
|
lispPackages: update distinfo
|
2020-03-15 22:34:16 +01:00 |
node-packages
|
nodePackages: regenerate sets
|
2020-03-15 17:30:37 +00:00 |
python-modules
|
python: Twisted: 19.10.0 -> 20.3.0
|
2020-03-23 20:11:47 +01:00 |
tools
|
cargo-make: 0.29.0 -> 0.30.0
|
2020-03-23 18:31:08 +01:00 |
web
|
flyctl: fix build on darwin
|
2020-03-21 06:10:00 -05:00 |