compilers
|
CompCert: update to 2.4
|
2014-10-05 23:38:16 +01:00 |
coq-modules
|
coq-containers: package is broken
|
2014-10-01 18:39:31 +01:00 |
interpreters
|
Fix the version
|
2014-10-06 02:43:57 +04:00 |
lua-modules
|
lua: Fixed luasql.patch
|
2014-10-01 06:00:06 +01:00 |
mobile
|
Make path to Xcode configurable
|
2014-10-02 15:49:33 +02:00 |
ocaml-modules
|
ocaml-tyxml: update 3.0.0 -> 3.1.1
|
2014-09-30 06:25:31 +02:00 |
qtcreator
|
qtcreator: Update from 3.1.0 to 3.2.0
|
2014-10-05 21:23:00 +02:00 |
r-modules
|
Merge pull request #4368 from michelk/r-XML
|
2014-10-04 19:56:18 +02:00 |
tools
|
haskell-Ebnf2ps: update to version 1.0.12
|
2014-10-06 11:21:39 +02:00 |