coq-modules
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |
java-modules
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
libraries
|
Merge pull request #37670 from bgamari/libngspice
|
2018-03-26 18:33:42 +01:00 |
misc
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
perl-modules
|
Merge branch 'master' into staging
|
2018-03-10 20:38:13 +00:00 |
pharo
|
pharo: Tighten source and simplify meta.platforms
|
2018-03-12 18:55:41 -04:00 |
python-modules
|
toml: init at 0.9.4
|
2018-03-25 01:45:51 -05:00 |
ruby-modules
|
treewide: s/xlibs/xorg/g (#36889)
|
2018-03-13 10:16:03 +00:00 |
tools
|
apache-ant: init 1.9
|
2018-03-25 14:11:00 -05:00 |
web
|
kore: fix clang build
|
2018-03-20 00:00:42 +01:00 |