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

…

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

…

haskell-packages.nix

ghcHEAD: 20200403 -> 20200505

2020-05-08 21:11:46 +02:00

haxe-packages.nix

…

impure.nix

…

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

…

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

…

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

…