3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development
Ulrik Strid ea8c2698be
ligo: 0.53 -> 0.54 (#197508)
* ocamlPackages.resto:  0.7 -> 1.0

* ocamlPackages.bls12-381: 4.0.0 -> 5.0.0

* ligo: 0.53.0 -> 0.54.0
2022-10-27 12:09:29 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers ligo: 0.53 -> 0.54 (#197508) 2022-10-27 12:09:29 +02:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules gnuradio3_8Packages.grnet: fix compilation on darwin 2022-10-26 21:30:56 +08:00
guile-modules
haskell-modules
idris-modules
interpreters pythonPackages: ensure all derivations provide python modules 2022-10-27 10:03:16 +02:00
java-modules
libraries aws-c-common: 0.8.2 -> 0.8.4 2022-10-27 01:23:13 +02:00
lisp-modules
lisp-modules-new
lua-modules
misc Merge pull request #197875 from r-ryantm/auto-update/brev-cli 2022-10-26 06:15:03 -05:00
mobile
nim-packages
node-packages
ocaml-modules ligo: 0.53 -> 0.54 (#197508) 2022-10-27 12:09:29 +02:00
octave-modules
perl-modules
pharo
php-packages
python-modules datalad: use default Python version 2022-10-27 11:03:33 +02:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools metal-cli: 0.10.2 -> 0.10.3 2022-10-27 19:33:58 +10:00
web