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
|
libfprint-2-tod1-elan: init at 0.0.8 (#264410)
|
2023-11-19 02:25:53 +02: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
|
esbuild: 0.19.5 -> 0.19.6
|
2023-11-19 04:20:00 +00:00 |
web
|
flyctl: 0.1.117 -> 0.1.127
|
2023-11-18 23:49:00 +00:00 |