dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
2bbf6c8687
nixpkgs/pkgs/development
History
Théo Zimmermann 2bbf6c8687
Move CompCert into coqPackages. (#126214) 
* compcert: preparation to move in coqPackages

* compcert: move into coqPackages

* compcert: remove version 3.7

As a consequence, also remove VST version 2.6

These were broken.
2021-06-14 14:21:41 +02:00
..
androidndk-pkgs
arduino
beam-modules mix-release: add rebar dependency 2021-06-09 12:29:41 +09:00
bower-modules/generic
chez-modules
compilers Move CompCert into coqPackages. (#126214) 2021-06-14 14:21:41 +02:00
coq-modules Move CompCert into coqPackages. (#126214) 2021-06-14 14:21:41 +02:00
dhall-modules
dotnet-modules
em-modules/generic
gnuradio-modules
go-modules buildGoModule/buildGoPackage: Introduce ldflags argument 2021-06-05 09:54:36 +10:00
go-packages buildGoModule/buildGoPackage: Introduce ldflags argument 2021-06-05 09:54:36 +10:00
guile-modules guile-git: init at 0.3.0 2021-06-12 01:18:03 -04:00
haskell-modules haskellPackages.mptcp-pm: Disable on darwin to fix eval error 2021-06-12 19:31:13 +02:00
idris-modules
interpreters Merge pull request #125952 from musfay/micropython 2021-06-13 18:17:34 +02:00
java-modules
libraries hunspell-dicts: change name to pname 2021-06-13 23:55:53 -07:00
lisp-modules
lua-modules treewide: Fix mysql alias deprecation breakage 2021-06-04 21:42:08 +02:00
misc
mobile Change all alsaLib references to alsa-lib 2021-06-10 01:12:49 -03:00
node-packages iosevka: 5.0.2 -> 7.0.4, iosevka-bin: 5.0.5 -> 7.0.4 (#126664) 2021-06-13 05:58:28 -04:00
ocaml-modules ocamlPackages.cstruct: remove at 1.9.0 for OCaml < 4.02 2021-06-14 08:26:11 +02:00
octave-modules Change all alsaLib references to alsa-lib 2021-06-10 01:12:49 -03:00
perl-modules
pharo Change all alsaLib references to alsa-lib 2021-06-10 01:12:49 -03:00
php-packages Merge pull request #126351 from etu/php-extensions-updates 2021-06-13 11:29:40 +02:00
pure-modules
python-modules Merge pull request #126478 from dotlambda/notify-py-paths 2021-06-14 13:16:08 +02:00
r-modules rPackages.hdf5r: add missing depedency on pkgs.hdf5 (#125549) 2021-06-06 02:12:22 +02:00
ruby-modules
scheme-modules/scheme-bytestructures Fix GPLv3Plus license 2021-06-12 01:18:36 -04:00
tools Merge pull request #126821 from fabaff/bump-litecli 2021-06-14 14:00:04 +02:00
web Change all alsaLib references to alsa-lib 2021-06-10 01:12:49 -03:00