coq-modules
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |
idris-modules
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
java-modules
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
libraries
|
wlc: fix build
|
2018-03-28 16:25:14 +03:00 |
misc
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
mobile
|
treewide: refactor to use libglvnd
|
2018-03-26 14:01:49 +03:00 |
perl-modules
|
buildPerlPackage: "properly" quote FULLPERL
|
2018-03-20 08:43:21 -04:00 |
pharo
|
pharo: Tighten source and simplify meta.platforms
|
2018-03-12 18:55:41 -04:00 |
r-modules
|
treewide: remove some more gettext references
|
2018-03-22 16:50:14 -05:00 |
ruby-modules
|
treewide: s/xlibs/xorg/g (#36889)
|
2018-03-13 10:16:03 +00:00 |
tools
|
Merge pull request #37840 from matthewbauer/unixtools
|
2018-03-27 18:43:03 -05:00 |
web
|
kore: fix clang build
|
2018-03-20 00:00:42 +01:00 |