coq-modules
|
first release of Metacoq
|
2022-07-20 16:52:11 +02:00 |
embedded
|
Merge master into staging-next
|
2022-07-19 12:01:43 +00:00 |
haskell-modules
|
haskellPackages.fast-tags: unbreak
|
2022-07-20 11:40:24 -07:00 |
libraries
|
Merge pull request #181353 from jiegec/libbsd-darwin
|
2022-07-20 22:09:18 -07:00 |
ocaml-modules
|
ocamlPackages.containers: 3.6.1 → 3.9
|
2022-07-20 17:24:59 +02:00 |
php-packages
|
php81Packages.composer: 2.3.7 -> 2.3.10
|
2022-07-19 18:09:44 +02:00 |
python-modules
|
python3Packages.xapp: 2.2.1 -> 2.2.2
|
2022-07-30 19:51:17 +08:00 |
tools
|
Merge pull request #182087 from Tomahna/metals
|
2022-07-21 00:10:06 -04:00 |