nixpkgs/pkgs/development
Damien Cassou 5eb2125cb4
Merge pull request #86058 from vbgl/coq-coqhammer-1.2
coqPackages.coqhammer: 1.1.1 → 1.2
2020-04-26 21:02:09 +02:00
..
androidndk-pkgs
arduino Merge pull request #84190 from geistesk/platformio-4.3.1 2020-04-17 11:37:07 +01:00
beam-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
bower-modules/generic
chez-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
compilers Get rid of go 1.13 (#86036) 2020-04-26 08:37:59 +00:00
coq-modules Merge pull request #86058 from vbgl/coq-coqhammer-1.2 2020-04-26 21:02:09 +02:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages buildGoPackage: enable strictDeps 2020-03-28 11:46:38 +00:00
guile-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
haskell-modules haskell-policeman: jailbreak to fix the build with ghc-8.10.1 2020-04-25 19:45:08 +02:00
idris-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
interpreters Python integration tests: disable for older python 3 versions 2020-04-25 07:59:37 +02:00
java-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
libraries Merge pull request #85977 from bhipple/cleanup/aspell 2020-04-25 15:24:56 -04:00
lisp-modules
lua-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
misc Merge pull request #84551 from gnprice/pr-stripDebugList 2020-04-14 15:54:52 +02:00
mobile treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
node-packages vscode-extensions.rust-analyzer: 2020-04-06 -> 2020-04-20 2020-04-23 17:11:22 +08:00
ocaml-modules ocamlPackages.dns(-client): 4.4.1 -> 4.5.0 2020-04-25 14:51:05 +02:00
perl-modules Merge branch 'staging-next' into staging 2020-04-13 18:54:59 +02:00
pharo treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
pure-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
python-modules Merge pull request #85981 from renatoGarcia/asttokens 2020-04-25 15:35:08 -04:00
r-modules treewide: use blas and lapack 2020-04-17 16:24:09 -05:00
ruby-modules treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tools skaffold: 1.6.0 -> 1.8.0 2020-04-26 10:00:28 -07:00
web remarkjs: update homepage link to use HTTPS 2020-04-24 19:44:59 -07:00