coq-modules
|
coqPackages.unimath: new expression
|
2014-11-12 14:37:25 -06:00 |
eclipse
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
guile-modules
|
guile-sdl: new package
|
2014-10-31 23:50:54 +08:00 |
interpreters
|
ruby-2.0: fix patch paths (and build)
|
2014-11-20 12:54:49 +01:00 |
libraries
|
agda-pretty: mark as broken
|
2014-11-20 09:04:54 +00:00 |
lisp-modules
|
Add CL-SMTP package
|
2014-11-16 19:57:12 +03:00 |
lua-modules
|
lua: Fixed luasql.patch
|
2014-10-01 06:00:06 +01:00 |
mobile
|
Removed duplicate
|
2014-11-11 00:14:54 +01:00 |
ocaml-modules
|
ocaml-cmdliner: update from 0.9.5 to 0.9.6
|
2014-11-18 14:34:08 +00:00 |
perl-modules
|
slic3r: Bump to 1.2.1
|
2014-11-15 19:22:59 +01: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 |
python-modules
|
properly package pyopenssl
|
2014-11-19 19:41:44 +01:00 |
qtcreator
|
qtcreator: Update from 3.2.0 to 3.2.1
|
2014-10-14 18:00:57 +02:00 |
r-modules
|
r-RcmdrPlugin.ROC: disable broken build
|
2014-11-02 17:09:54 +01:00 |
tools
|
Merge pull request #5054 from j-keck/master
|
2014-11-20 10:53:42 +01:00 |