Cyril Cohen 8d05e53561 Coq: refactoring of mathcomp packages (#86088) ... - fixed bignum version - fixed coq-bits version - fixed coqprime version - fixed mathcomp and mathcomp extra packages (reworked building scheme and removed unused ssreflect directory) - giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.		2020-05-09 07:47:47 +02:00
..
aliases.nix	trilium: Mark trilium package alias as deprecated in favor of trilium-desktop	2020-05-07 10:18:50 +02:00
all-packages.nix	josm: fix package	2020-05-08 20:11:50 +02:00
beam-packages.nix	lfe: 1.2.1 -> 1.3	2020-02-10 20:03:47 +01:00
config.nix
coq-packages.nix	Coq: refactoring of mathcomp packages (#86088)	2020-05-09 07:47:47 +02:00
darwin-packages.nix	xcode: Add more hashes, and fix some old ones	2020-01-03 15:19:08 -05:00
default.nix
dhall-packages.nix	Add Nixpkgs support for Dhall	2020-02-11 22:02:53 -08:00
dotnet-packages.nix	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
emacs-packages.nix	emacs-packages: Expose manually packaged packages through emacsPackages.manualPackages	2020-04-27 12:08:13 +01:00
emscripten-packages.nix	Fix package metadata like version and homepage	2019-11-07 17:20:33 +01:00
haskell-packages.nix	ghcHEAD: 20200403 -> 20200505	2020-05-08 21:11:46 +02:00
haxe-packages.nix
impure.nix	Revert "stdenv/check-meta: getEnv if the attribute is unset (#72376)" (#72752)	2019-11-03 20:38:35 -05:00
java-packages.nix
lua-packages.nix	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
make-tarball.nix	nix-daemon.nix: Add option nix.registry	2020-04-02 19:38:00 +02:00
metrics.nix
ocaml-packages.nix	ocamlPackages.async_find: remove at 111.28.00	2020-05-04 22:11:50 +02:00
packages-config.nix	Add packages.json to the tarball job	2020-03-24 16:42:00 +01:00
perl-packages.nix	perlPackages.StringSimilarity: init at 1.04	2020-05-04 15:45:21 +02:00
php-packages.nix	php.extensions.pdo_sqlsrv: 5.8.0 -> 5.8.1	2020-05-03 07:00:46 -04:00
pure-packages.nix	octaveHg: drop	2020-02-09 19:24:18 +01:00
python-packages.nix	safety-cli: init at 0.5.1	2020-05-08 09:23:18 -07:00
release-alternatives.nix	blas,lapack: use isILP64 instead of is64bit	2020-04-20 16:02:43 -05:00
release-cross.nix	Merge branch 'ghcjs-cross-without-cc-19.09' into ghcjs-cross-without-cc	2019-12-24 17:55:35 -05:00
release-lib.nix
release-python.nix
release-small.nix	blas/lapack: add wrapper for “alternative”s of BLAS/LAPACK provider	2020-04-17 16:23:55 -05:00
release.nix	Revert "make-tarball.nix: Restore the 'commit' field in packages.json"	2020-03-29 20:57:50 +02:00
ruby-packages.nix	rubyPackages: update	2020-02-09 09:18:47 +01:00
splice.nix
stage.nix	symlinkJoin: fix cross	2019-12-25 12:17:09 -05:00
static.nix	pkgsStatic.python3: fix build	2020-03-30 17:06:38 +02:00
unix-tools.nix	treewide/nixos: use stdenv.cc.libc instead of glibc when available	2020-04-06 16:36:27 -04:00
wine-packages.nix	faudio, wine, vkd3d: add faudio 19.10 and vkd3d 1.1 to wine	2019-10-12 14:57:28 +02:00