coq-modules
|
coqPackages.coqeal: 1.0.4 → 1.0.5
|
2021-04-29 08:24:35 +02:00 |
interpreters
|
j: 901f -> 902b
|
2021-05-01 21:58:31 +02:00 |
libraries
|
cgal_5: 5.2 -> 5.2.1
|
2021-05-01 08:30:14 +00:00 |
node-packages
|
vls: init at 0.7.2
|
2021-04-25 14:39:38 +01:00 |
ocaml-modules
|
ocamlPackages.caqti-*: 1.3.0 -> 1.5.1
|
2021-04-29 21:49:50 +02:00 |
perl-modules
|
treewide: use lib.warnIf where appropriate
|
2021-04-28 21:44:21 +00:00 |
php-packages
|
phpPackages.composer1: 1.10.15 -> 1.10.22
|
2021-04-27 15:37:36 +02:00 |
tools
|
cargo-limit: 0.0.7 -> 0.0.8
|
2021-04-30 23:08:32 -07:00 |
web
|
flyctl: 0.0.210 -> 0.0.211
|
2021-04-28 00:22:57 -04:00 |