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-yesod-bin: update to version 1.4.0.7
|
2014-11-14 14:13:41 +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 |
pharo
|
Update pharo-vm to 2014.10.28
|
2014-10-28 14:36:17 +01:00 |
tools
|
haskell-cabal-db: update to version 0.1.11
|
2014-11-14 14:13:41 +01:00 |
web
|
Fixed many descriptions
|
2014-11-11 14:36:34 +01:00 |