coq-modules
|
Adds coq-interval
|
2014-12-08 09:15:13 +01:00 |
misc
|
avr8-burn-omat: update to version 2.1.2
|
2014-12-15 22:31:22 +01:00 |
ocaml-modules
|
ulex: set platforms
|
2014-12-18 10:01:50 +01:00 |
perl-modules
|
fix a bunch of perl modules
|
2014-12-10 01:38:00 +01:00 |
pharo
|
Update pharo vm
|
2014-12-04 16:41:20 +01:00 |
python-modules
|
Update pylint and astroid
|
2014-12-16 16:54:41 +01:00 |
tools
|
haskell: add csv-conduit, packdeps
|
2014-12-19 19:35:34 +00:00 |
web
|
Fix wml build, don't know why it worked before
|
2014-12-18 00:43:13 +01:00 |