Vincent Laporte 042790832e coqPackages.tlc: 20171206 -> 20180316 (#40927)		2018-05-22 20:55:57 +02:00
..
arduino
beam-modules
bower-modules/generic
compilers
coq-modules	coqPackages.tlc: 20171206 -> 20180316 (#40927)	2018-05-22 20:55:57 +02:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules
r-modules
ruby-modules
tools
web