coq-modules
|
coqPackages.VST: add support for Coq 8.16.1
|
2022-12-05 09:22:59 +01:00 |
embedded
|
Merge pull request #203343 from tjni/spsdk
|
2022-12-04 16:44:08 +01:00 |
interpreters
|
Merge master into staging-next
|
2022-12-05 06:01:36 +00:00 |
java-modules
|
jna: init at 4.5.2
|
2022-12-04 23:45:00 +01:00 |
libraries
|
Merge master into staging-next
|
2022-12-06 00:02:32 +00:00 |
ocaml-modules
|
ocamlPackages.gen: 0.5 → 1.0
|
2022-12-05 11:14:12 +01:00 |
python-modules
|
Merge master into staging-next
|
2022-12-06 00:02:32 +00:00 |
skaware-packages
|
skawarePackages: refactor
|
2022-12-03 13:01:31 -03:00 |
tools
|
Merge master into staging-next
|
2022-12-06 00:02:32 +00:00 |