Vincent Laporte e182ddf008 coqPackages.coquelicot: init at 2.1.1 ...

Coquelicot is a Coq library for Reals.

Homepage: http://coquelicot.saclay.inria.fr/

2016-01-06 09:13:38 +01:00

..

arduino

…

compilers

orc: update from 0.4.23 to 0.4.24

2016-01-03 20:51:14 +00:00

coq-modules

coqPackages.coquelicot: init at 2.1.1

2016-01-06 09:13:38 +01:00

dotnet-modules/patches

…

eclipse

…

erlang-modules

Add shell env to buildHex packages.

2015-12-19 00:07:54 +01:00

go-modules

Rename 'emery' maintainer handle to 'ehmry', fixes #11493

2015-12-05 23:06:20 +01:00

guile-modules

…

haskell-modules

Fix remaining sane{Front,Back}ends

2016-01-05 20:44:35 +01:00

idris-modules

idris-wl-pprint: Use fetchFromGitHub

2015-11-28 05:53:50 -05:00

interpreters

ceptre: 2015-11-20 -> 2016-01-01

2016-01-03 20:06:12 +01:00

libraries

opencv_2_1: remove dead package

2016-01-06 03:49:47 +01:00

lisp-modules

asdf: 3.1.5 -> 3.1.6

2016-01-01 12:30:17 +03:00

lua-modules

…

misc

…

mobile

…

ocaml-modules

ocaml-iso8601: init at 0.2.4

2015-12-15 22:43:25 +01:00

perl-modules

perl-DBIx-Class: fix tests

2015-11-30 14:50:42 +01:00

pharo

…

pure-modules

…

python-modules

pyqt5: Qt 5 infrastructure update

2015-12-20 07:56:39 -06:00

qtcreator

qtcreator: Qt 5 infrastructure update

2015-12-20 07:56:53 -06:00

r-modules

r-modules: regenerate CRAN packages

2016-01-04 09:19:24 +01:00

ruby-modules

…

tools

Merge pull request #12148 from ragnard/boot-update-and-remove-make-wrapper-usage

2016-01-05 12:22:23 +01:00

web

nodejs: fix naming of nodejs to fit into their versioning model, fixes #11497

2015-12-06 21:57:24 +01:00