nixpkgs/pkgs/development
Théo Zimmermann fd20e227a0 coqPackages.math-classes: 8.8.1 -> 8.9.1
Introduces compatibility with Coq 8.10.
2019-07-22 11:37:37 +00:00
..
androidndk-pkgs
arduino
beam-modules Merge pull request #64803 from serokell/elixir19 2019-07-19 00:03:29 +02:00
bower-modules/generic
compilers go: Add rvolosatovs to maintainers 2019-07-17 10:22:58 +02:00
coq-modules coqPackages.math-classes: 8.8.1 -> 8.9.1 2019-07-22 11:37:37 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules buildGoModule: add ./ to all sub-packages (#63936) 2019-06-29 22:22:02 -07:00
go-packages buildGoPackage: enable cross compilation 2019-06-25 14:42:12 +08:00
guile-modules
haskell-modules haskell/lib: Introduce markUnbroken helper 2019-07-14 12:26:04 -04:00
idris-modules idrisPackages.tparsec: 2018-12-21 -> 2019-06-18 2019-06-21 18:57:15 +03:00
interpreters Merge pull request #60675 from protoben/evcxr-0.3.3 2019-07-21 02:37:29 +02:00
java-modules treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
libraries Merge pull request #64539 from twhitehead/gl2ps 2019-07-21 14:16:37 +00:00
lisp-modules asdf: 3.3.2 -> 3.3.3 2019-07-14 22:05:31 -07:00
lua-modules treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
misc treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
mobile cocoapods-beta: 1.7.4 -> 1.7.5 2019-07-19 11:44:45 -07:00
node-packages Add antora 2019-07-22 08:09:09 +02:00
ocaml-modules ocamlPackages.visitors: 20180513 -> 20190711 2019-07-19 18:06:50 -07:00
perl-modules buildPerlPackage: recognize "#!perl" as shebang 2019-07-03 08:38:20 +02:00
pharo treewide: use dontUnpack 2019-07-01 04:23:51 -04:00
pure-modules
python-modules Merge pull request #65167 from r-ryantm/auto-update/python3.7-tweepy 2019-07-20 18:42:01 -05:00
r-modules Merge staging-next into staging 2019-07-09 15:44:08 +02:00
ruby-modules Merge pull request #64298 from michaelpj/imp/mathematical-epub3 2019-07-04 20:34:06 +00:00
tools Merge pull request #65194 from r-ryantm/auto-update/uftrace 2019-07-21 13:13:32 -04:00
web cypress: fix missing GSettings schemas 2019-07-19 09:26:13 +02:00