coq-modules
|
coqPackages.ITree: 5.1.1 → 5.1.2
|
2023-11-17 13:59:33 +01:00 |
embedded
|
Merge pull request #268069 from moni-dz/blisp-nspath
|
2023-11-17 19:30:44 +01:00 |
libraries
|
clap: 1.1.9 -> 1.1.10
|
2023-11-19 10:59:20 +01:00 |
misc
|
newlib: evade more of newlib's self-disablement
|
2023-11-16 20:41:25 -08:00 |
ocaml-modules
|
maintainers: fortuneteller2k -> moni
|
2023-11-17 18:03:27 +08:00 |
perl-modules
|
perl538Packages.CSSDOM: fix test
|
2023-11-18 23:08:46 +01:00 |
pharo
|
Pharo 10.0.5 -> 10.0.8
|
2023-11-16 19:06:59 +00:00 |
tools
|
Merge pull request #268399 from figsoda/jaq
|
2023-11-19 08:24:49 -05:00 |
web
|
flyctl: 0.1.117 -> 0.1.127
|
2023-11-18 23:49:00 +00:00 |