Peter Simons db7a885c26 Merge pull request #4723 from mstarzyk/idris ...

haskell-idris: update to version 0.9.15.1

2014-10-30 12:11:44 +01:00

..

arduino

arduino-core: fixup ELF interperter paths in prebuilt binaries

2014-10-27 22:04:02 +01:00

compilers

haskell-idris: update to version 0.9.15.1

2014-10-29 21:03:08 +01:00

coq-modules

coqPackages.flocq: new expression

2014-10-21 00:23:36 -05:00

eclipse

…

guile-modules

…

interpreters

Merge pull request #4701 from jirkamarsik/eff

2014-10-28 17:59:45 +01:00

libraries

Merge pull request #4727 from dysinger/acme-lookofdisapproval

2014-10-30 12:11:26 +01:00

lisp-modules

…

lua-modules

…

misc

…

mobile

titaniumenv: Add parameter that configures Apple's WWDR certificate location

2014-10-28 11:40:12 +01:00

ocaml-modules

Added bolt-1.4

2014-10-28 14:03:14 +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

…

python-modules

New package: python-box2d. The Python bindings of the c++ game physics library box2.

2014-10-25 17:05:28 +02:00

qtcreator

…

r-modules

…

ruby-modules

…

tools

cppo: update from 0.9.4 to 1.0.1

2014-10-29 17:43:05 +00:00

web

remarkjs: Update from 0.6.5 to 0.7.0

2014-10-28 14:44:37 +01:00