compilers
|
Merge pull request #78562 from fgaz/lobster/init
|
2020-09-22 21:42:23 -07:00 |
coq-modules
|
coqPackages.metalib: 20170713 → 20200527
|
2020-09-22 21:53:29 +02:00 |
java-modules
|
javaPackages.jogl_2_3_2: use jdk8
|
2020-09-19 15:36:35 +02:00 |
libraries
|
crc32c: enable static
|
2020-09-22 23:10:00 -07:00 |
ocaml-modules
|
ocamlPackages.zed: 2.0.3 → 3.1.0
|
2020-09-22 18:41:01 +02:00 |
python-modules
|
pythonPackages.gssapi: 1.6.2 -> 1.6.9
|
2020-09-22 23:18:27 -07:00 |
tools
|
Merge pull request #98447 from Tomahna/metals
|
2020-09-23 08:05:55 +02:00 |