coq-modules
|
coqPackages.VST: 2.13 → 2.14
|
2024-03-23 07:25:06 +01:00 |
idris-modules
|
treewide: remove licenses.agpl3
|
2024-03-21 18:09:24 +02:00 |
node-packages
|
treewide: remove licenses.agpl3
|
2024-03-21 18:09:24 +02:00 |
ocaml-modules
|
ocamlPackages.mdx: 2.3.1 → 2.4.1
|
2024-03-21 08:48:31 +01:00 |
perl-modules
|
perlPackages.Tirex: 0.7.0 -> 0.7.1
|
2024-03-21 00:44:08 +01:00 |