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
|
utf8proc: 2.4.0 -> 2.5.0
|
2020-03-29 09:25:02 +00:00 |
lisp-modules
|
lispPackages: update distinfo
|
2020-03-15 22:34:16 +01:00 |
node-packages
|
nodePackages: use node2nix from git
|
2020-03-28 06:48:56 +00:00 |
ruby-modules
|
solargraph: 0.38.0 -> 0.38.6
|
2020-03-27 13:12:16 -07:00 |
tools
|
cargo-make: 0.30.0 -> 0.30.1
|
2020-03-28 17:11:24 +01:00 |