compilers
|
Merge pull request #229008 from whonore/dafny-4
|
2023-05-17 09:53:06 +02:00 |
dotnet-modules
|
dafny: move to separate file
|
2023-04-29 19:11:12 -04:00 |
libraries
|
libcpr: 1.10.2 -> 1.10.3
|
2023-05-17 10:24:56 +02:00 |
lisp-modules
|
lisp-modules.facts: use backup url
|
2023-05-16 12:00:00 +02:00 |
misc
|
brev-cli: 0.6.224 -> 0.6.227
|
2023-05-17 03:58:06 +00:00 |
ocaml-modules
|
ocamlPackages.ounit2: 2.2.6 -> 2.2.7
|
2023-05-16 15:38:56 +02:00 |
php-packages
|
php80Packages.psysh: 0.11.16 -> 0.11.17
|
2023-05-14 01:03:04 +00:00 |
web
|
nodejs_19: drop
|
2023-05-17 04:20:00 +00:00 |