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 |
lua-modules
|
lua: Fixed luasql.patch
|
2014-10-01 06:00:06 +01: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 |
pure-modules/pure-gsl
|
Add pure-gsl package
|
2014-10-14 21:21:36 +11:00 |
qtcreator
|
qtcreator: Update from 3.1.0 to 3.2.0
|
2014-10-05 21:23:00 +02:00 |
r-modules
|
r-PoweR: fix build
|
2014-11-02 14:09:53 +01:00 |