Vincent Laporte e21a5e6035 coqPackages_8_9.coq-ext-lib: init at 0.10.0		2018-12-10 15:33:59 +00:00
..
arduino
beam-modules
bower-modules/generic
compilers	Merge master into staging-next	2018-12-08 12:40:13 +01:00
coq-modules	coqPackages_8_9.coq-ext-lib: init at 0.10.0	2018-12-10 15:33:59 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	Merge master into staging-next	2018-12-07 15:22:35 +01:00
idris-modules
interpreters	metamath: init at 0.167	2018-12-09 10:18:25 +00:00
java-modules
libraries	Merge pull request #51811 from veprbl/pr/cernlib_fix	2018-12-10 15:30:05 +01:00
lisp-modules	Add cl-jpeg, cl-pdf & cl-typesetting, no extra external deps	2018-12-05 07:01:40 +01:00
lua-modules
misc
mobile
node-packages	nodePackages: Regenerate and fix azure-cli	2018-12-10 11:46:46 +01:00
ocaml-modules	ocamlPackages.camlimages: 5.0.0 -> 5.0.1	2018-12-07 04:22:10 +00:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #51664 from erictapen/tlslite-ng-init	2018-12-10 13:03:27 +00:00
r-modules	Merge pull request #51581 from joachifm/rWrapper-local-runCommand	2018-12-07 09:17:44 +00:00
ruby-modules	Merge master into staging-next	2018-12-08 12:40:13 +01:00
tools	frama-c: Chlorine -> Argon	2018-12-09 19:50:38 +00:00
web