nixpkgs/pkgs/development
Vincent Laporte 782c8b0451 coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0
coqPackages.mathcomp-infotheo: 0.7.1 → 0.7.2
2024-10-08 20:58:47 +02:00
..
ada-modules
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers openjfx11: drop (#347149) 2024-10-07 21:49:16 +01:00
coq-modules coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0 2024-10-08 20:58:47 +02:00
cuda-modules
dhall-modules
em-modules/generic
embedded
emilua-plugins
gnuradio-modules
hare-third-party
haskell-modules
idris-modules
interpreters
java-modules
julia-modules
libraries ngtcp2-gnutls: 1.7.0 -> 1.8.0 (#346669) 2024-10-08 10:18:21 +02:00
lisp-modules
lua-modules luaPackages: update on 2024-10-07 2024-10-08 16:20:46 +02:00
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
php-packages phpPackages.composer: 2.7.9 -> 2.8.1 (#347113) 2024-10-07 21:25:43 +02:00
python2-modules
python-modules python312Packages.awkward: 2.6.8 -> 2.6.9 (#347119) 2024-10-08 12:05:10 +02:00
r-modules
rocm-modules
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools marksman: 2023-12-09 -> 2024-10-07 2024-10-08 04:52:10 +00:00
web flyctl: 0.3.10 -> 0.3.15 (#347165) 2024-10-08 16:44:30 +08:00