coq-modules
|
coqPackages.paramcoq: enable for Coq 8.13
|
2021-04-28 09:18:42 +02:00 |
interpreters
|
erlang: 23.3.1 -> 23.3.2
|
2021-04-28 18:19:46 +09:00 |
libraries
|
belcard: 4.5.1 -> 4.5.3
|
2021-04-29 00:05:44 -04:00 |
node-packages
|
vls: init at 0.7.2
|
2021-04-25 14:39:38 +01: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
|
Merge pull request #120916 from r-ryantm/auto-update/air
|
2021-04-28 17:47:24 -07:00 |
web
|
flyctl: 0.0.210 -> 0.0.211
|
2021-04-28 00:22:57 -04:00 |