3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development
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