compilers
|
haskell-Agda: update to version 2.4.2.1
|
2014-11-14 14:13:40 +01:00 |
coq-modules
|
coqPackages.unimath: new expression
|
2014-11-12 14:37:25 -06:00 |
interpreters
|
Merge pull request #4980 from henrytill/racket
|
2014-11-13 23:44:35 +03:00 |
libraries
|
haskell-conduit: update to version 1.2.3
|
2014-11-14 14:13:40 +01:00 |
lisp-modules
|
Add cl-html-parse lisp package
|
2014-11-13 14:19:42 +03:00 |
ocaml-modules
|
ocaml-sqlite3: update from 2.0.4 to 2.0.7
|
2014-11-11 20:08:37 +00:00 |
tools
|
checkstyle: update from 6.0 to 6.1
|
2014-11-14 13:07:01 +01:00 |
web
|
Fixed many descriptions
|
2014-11-11 14:36:34 +01:00 |