chez-modules
|
chez-mit: switch to fetchFromGitHub
|
2022-03-16 23:23:09 +01:00 |
compilers
|
ligo: 0.34.0 -> 0.36.0
|
2022-03-26 11:54:24 +01:00 |
coq-modules
|
coqPackages.VST: fix build with Coq 8.15.1
|
2022-03-24 10:17:42 +01:00 |
libraries
|
flatpak: 1.12.6 -> 1.12.7
|
2022-03-26 18:01:41 +01:00 |
misc
|
yelp-tools: 42.beta → 42.0
|
2022-03-25 15:02:47 +01:00 |
quickemu
|
quickemu 3.11 -> 3.14
|
2022-03-18 07:06:11 -06:00 |
ruby-modules
|
bundler: 2.3.6 -> 2.3.9
|
2022-03-21 23:44:52 -05:00 |
tools
|
sslmate-agent: init at 1.99.11
|
2022-03-28 17:40:43 -06:00 |