coq-modules
|
coqPackages.paco: 4.0.0 → 4.0.2
|
2020-10-12 09:41:45 +02:00 |
guile-modules
|
guile-reader: 0.6.2 -> 0.6.3
|
2020-10-12 04:07:17 -03:00 |
haskell-modules
|
haskellPackages.neuron: Fix build
|
2020-10-11 16:18:20 +02:00 |
libraries
|
agda-packages: add fla library at v0.1
|
2020-10-15 10:54:22 -06:00 |
ocaml-modules
|
ocamlPackages.secp256k1: 0.4.0 → 0.4.1
|
2020-10-15 12:30:58 +02:00 |
perl-modules
|
Merge master into staging-next
|
2020-10-13 19:34:34 +02:00 |
php-packages
|
php: Drop usage of isPhp73 and isPhp74
|
2020-10-11 20:10:58 +02:00 |
python-modules
|
python37Packages.pylast: 3.3.0 -> 4.0.0
|
2020-10-16 00:07:42 -07:00 |
tools
|
cargo-c: 0.6.13 -> 0.6.15
|
2020-10-15 20:13:23 +02:00 |
web
|
nodejs-14_x: 14.12.0 -> 14.13.1
|
2020-10-14 18:01:00 -05:00 |