Vincent Laporte 05bcb29564 compcert: 3.9 → 3.10 ...

Enable for Coq 8.14

Use default version of OCaml (instead of 4.05)

VST is not ready for CompCert 3.10, so it still uses 3.9

(cherry picked from commit fa22c7cda37ad4c1fd7056e0b86d03b273699277)

2021-11-29 10:33:09 +01:00

..

agda-packages.nix

…

aliases.nix

nixStable: 2.4 -> 2.3.16

2021-11-27 18:16:27 -05:00

all-packages.nix

cppe: init at 0.3.1

2021-11-28 17:36:31 +00:00

beam-packages.nix

…

config.nix

…

coq-packages.nix

compcert: 3.9 → 3.10

2021-11-29 10:33:09 +01:00

cubocore-packages.nix

…

darwin-packages.nix

…

default.nix

…

dhall-packages.nix

Merge pull request #142825 from cdepillabout/buildDhallUrl

2021-11-08 13:44:37 +09:00

dotnet-packages.nix

buildDotnetPackage: fix nativeBuildInputs

2021-11-11 21:47:50 +02:00

emacs-packages.nix

…

emscripten-packages.nix

…

gnuradio-packages.nix

…

haskell-packages.nix

haskell.compiler.ghcHEAD: bootstrap using 8.10.7 binary

2021-11-15 21:01:17 +01:00

haxe-packages.nix

…

impure.nix

…

java-packages.nix

…

kodi-packages.nix

Merge pull request #146009 from aanderse/kodi.packages.libretro-mgba

2021-11-15 13:17:37 -05:00

linux-kernels.nix

kernels: set testing to latest if it's newer

2021-11-22 02:11:16 +00:00

lua-packages.nix

…

make-tarball.nix

…

metrics.nix

Revert "metrics: drop requiredSystemFeatures; /cc #76776"

2021-11-14 11:35:51 +01:00

nim-packages.nix

nimPackages.spry: init at 0.9.0

2021-11-12 14:02:45 +01:00

nixpkgs-basic-release-checks.nix

nixpkgs-basic-release-checks: set NIX_STORE_DIR

2021-11-09 10:55:06 -08:00

ocaml-packages.nix

ocamlPackages.ppx_python: init at 0.14.0

2021-11-16 11:53:48 +01:00

octave-packages.nix

octavePackages.zeromq: 1.5.2 -> 1.5.3

2021-11-01 16:21:22 -05:00

packages-config.nix

…

perl-packages.nix

perlPackages.DistZilla: shortenPerlShebang on Darwin

2021-11-26 12:13:44 +00:00

php-packages.nix

php80Extensions.xmlreader: fix build

2021-11-28 14:48:03 +00:00

pure-packages.nix

…

python2-packages.nix

Merge remote-tracking branch 'nixpkgs/staging-next' into staging

2021-11-13 15:30:01 +00:00

python-aliases.nix

Merge pull request #146672 from Prillan/ZHF-remove-dogpile-core

2021-11-20 16:11:06 -03:00

python-packages.nix

cppe: init at 0.3.1

2021-11-28 17:36:31 +00:00

qt5-packages.nix

libsForQt5.libqaccessibilityclient: init at 0.4.1

2021-11-03 18:43:56 +02:00

release-alternatives.nix

…

release-cross.nix

…

release-haskell.nix

hyper-haskell: mark broken

2021-11-05 15:01:17 +09:00

release-lib.nix

…

release-python.nix

…

release-r.nix

top-level/release-r.nix: disable x86_64-darwin

2021-11-02 06:53:13 +11:00

release-small.nix

…

release.nix

…

ruby-packages.nix

…

splice.nix

…

stage.nix

pkgs/top-level/stage: format trivialBuilders import

2021-11-08 09:33:34 -08:00

unixtools.nix

…

wine-packages.nix

wine{,64,Wow}Packages: add {stable,unstable,staging}Full

2021-11-06 17:03:57 +10:00