nixpkgs/pkgs/development
Vincent Laporte f09a13899d coqPackages.mathcomp: 1.7.0 -> 1.8.0
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
2019-04-23 09:35:38 +02:00
..
androidndk-pkgs
arduino
beam-modules buildMix: fix bootstrapping packages with hyphens in version 2019-04-18 22:37:30 +03:00
bower-modules/generic
compilers llvmPackages_7.compiler-rt: fix typo 2019-04-23 00:35:35 -05:00
coq-modules coqPackages.mathcomp: 1.7.0 -> 1.8.0 2019-04-23 09:35:38 +02:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters Merge pull request #60028 from volth/perl-meta-priority++ 2019-04-22 19:42:41 -04:00
java-modules
libraries Merge pull request #59965 from FredeEB/seasocks-pkg 2019-04-23 00:22:34 +02:00
lisp-modules
lua-modules treewide: Change URLs to HTTPS 2019-04-22 10:19:54 +02:00
misc
mobile
node-packages treewide: Change URLs to HTTPS 2019-04-22 10:19:54 +02:00
ocaml-modules Merge pull request #60010 from JohnAZoidberg/https-urls 2019-04-22 23:37:07 +02:00
perl-modules
pharo
pure-modules
python-modules Merge pull request #59913 from JohnAZoidberg/sounddevice-0.3.13 2019-04-23 00:01:28 +02:00
r-modules
ruby-modules
tools Merge pull request #60010 from JohnAZoidberg/https-urls 2019-04-22 23:37:07 +02:00
web treewide: Change URLs to HTTPS 2019-04-22 10:19:54 +02:00