nixpkgs/pkgs/top-level
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