coq-modules
|
coqPackages.flocq: new expression
|
2014-10-21 00:23:36 -05:00 |
guile-modules
|
guile-opengl: new package
|
2014-10-31 09:25:45 +08:00 |
interpreters
|
python: 3.3.5 -> 3.3.6
|
2014-11-01 04:50:26 +01:00 |
libraries
|
haskell-yi-language: update to version 0.1.0.8
|
2014-11-01 21:08:02 +01:00 |
ocaml-modules
|
camlimages: update from 4.0.1 to 4.1.2
|
2014-11-01 08:37:40 +00:00 |
perl-modules
|
DBD::SQLite: Update to 1.44
|
2014-10-24 11:55:48 +02:00 |
pharo
|
Update pharo-vm to 2014.10.28
|
2014-10-28 14:36:17 +01:00 |
tools
|
haskell-ghcid: update to version 0.3.1
|
2014-11-01 21:08:02 +01:00 |
web
|
remarkjs: Update from 0.6.5 to 0.7.0
|
2014-10-28 14:44:37 +01:00 |