compilers
|
Merge pull request #229008 from whonore/dafny-4
|
2023-05-17 09:53:06 +02:00 |
coq-modules
|
Add coqPackages.mathcomp 2.0.0
|
2023-05-15 11:26:42 +02: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 |
quickemu
|
quickemu: install man pages
|
2023-05-12 11:32:32 +02:00 |
web
|
deno: 1.33.2 -> 1.33.3
|
2023-05-15 14:23:49 +01:00 |