1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 23:10:02 +00:00
nixpkgs/pkgs/development
John Wiegley e582c41482 coqPackages.mathcomp,ssreflect: 1.5 -> 1.6
See the INSTALL file in the mathcomp package for instructions on
upgrading projects from 1.5 to 1.6.  The 1.6 version works with both Coq
8.4 and 8.5.
2015-12-20 11:12:23 -08:00
..
arduino
compilers matter-compiler: initial expression, fixes #11780 2015-12-18 15:49:57 +01:00
coq-modules coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 2015-12-20 11:12:23 -08: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 haskell-gtksourceview2: add override to fix build 2015-12-18 11:37:44 +01:00
idris-modules idris-wl-pprint: Use fetchFromGitHub 2015-11-28 05:53:50 -05:00
interpreters php: 7.0.0 -> 7.0.1 2015-12-18 09:41:51 +01:00
libraries Merge pull request #11839 from ttuegel/qt-5.4 2015-12-20 08:11:52 -06:00
lisp-modules
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: update list of broken packages 2015-11-25 11:39:28 +01:00
ruby-modules
tools include-what-you-use: use unversioned llvm attribute 2015-12-20 03:22:24 +01:00
web nodejs: fix naming of nodejs to fit into their versioning model, fixes #11497 2015-12-06 21:57:24 +01:00