compilers
|
Merge branch 'master' into haskell-updates
|
2021-12-02 23:49:21 +01:00 |
coq-modules
|
coqPackages.coqprime: 8.12 → 8.14.1
|
2021-12-02 13:16:44 +01:00 |
interpreters
|
Merge pull request #148010 from Ma27/bump-evcxr
|
2021-12-02 17:38:42 +01:00 |
libraries
|
snappy: add patch to re-enable RTTI
|
2021-12-02 14:23:18 +02:00 |
lisp-modules
|
lispPackages: add cl-shellwords
|
2021-11-28 13:49:59 +01:00 |
ocaml-modules
|
ocamlPackages.reactivedata: fix src hash
|
2021-11-28 15:19:59 +01:00 |
tools
|
Merge branch 'master' into haskell-updates
|
2021-12-02 23:49:21 +01:00 |