nixpkgs/pkgs/development
Vincent Laporte 0a5d426155
frama-c: 23.0-rc1 → 23.0 (#129768)
* frama-c: 23.0-rc1 → 23.0

* Update pkgs/development/tools/analysis/frama-c/default.nix

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-07-12 04:29:26 +02:00
..
androidndk-pkgs
arduino platformio: fix build by pinning dependencies 2021-07-11 01:15:40 +02:00
beam-modules elvis: init at 1.0.1 2021-07-09 11:37:43 +09:00
bower-modules/generic
chez-modules
compilers fennel: init at 0.9.2 2021-07-11 11:47:19 -04:00
coq-modules
dhall-modules
dotnet-modules python-language-server: 2020-10-08 -> 2021-05-20 2021-07-10 10:50:21 +02:00
em-modules/generic
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules haskellPackages: mark builds failing on hydra as broken 2021-07-07 22:25:01 +08:00
idris-modules
interpreters spidermonkey_68: fix cross 2021-07-11 12:11:54 +00:00
java-modules
libraries Merge pull request #129822 from ck3d/saxonb-jre8 2021-07-12 03:15:29 +02:00
lisp-modules
lua-modules
misc
mobile
node-packages nodePackages: fix generate.sh failing on path with space 2021-07-11 14:49:21 +02:00
ocaml-modules ocamlPackages.uecc: init at 0.3 2021-07-09 14:15:49 +02:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules Merge pull request #129945 from fabaff/bump-advantage-air 2021-07-11 23:40:04 +02:00
r-modules
ruby-modules solargraph: move solargraph to rubyPackages 2021-07-07 04:20:00 +00:00
scheme-modules/scheme-bytestructures
tools frama-c: 23.0-rc1 → 23.0 (#129768) 2021-07-12 04:29:26 +02:00
web insomnia: 2021.4.0 -> 2021.4.1 2021-07-08 19:59:23 +00:00