Vincent Laporte f839441f09 coqPackages.coqhammer: 1.2 → 1.3

2020-08-20 08:37:24 +02:00

..

androidndk-pkgs

…

arduino

…

beam-modules

…

bower-modules/generic

…

chez-modules

…

compilers

elmPackages.elm-json: remove verifyCargoDeps

2020-08-20 10:05:23 +10:00

coq-modules

coqPackages.coqhammer: 1.2 → 1.3

2020-08-20 08:37:24 +02:00

dhall-modules

…

dotnet-modules

…

em-modules/generic

…

go-modules

buildGoModule: remove modSha256

2020-08-20 08:02:36 +10:00

go-packages

…

guile-modules

…

haskell-modules

…

idris-modules

…

interpreters

Merge pull request #91176 from ericdallo/add-alda

2020-08-19 01:15:00 +02:00

java-modules

…

libraries

Merge pull request #93703 from taktoa/master

2020-08-20 02:03:08 +02:00

lisp-modules

…

lua-modules

…

misc

…

mobile

androidenv: fix convert files not quoting urls

2020-08-19 16:40:28 +02:00

node-packages

…

ocaml-modules

ocamlPackages.torch: 0.9b → 0.10 (#94922)

2020-08-15 15:15:48 +02:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

python3.pkgs.dogtail: 0.9.10 → 0.9.11

2020-08-19 23:42:52 +02:00

r-modules

…

ruby-modules

…

tools

Merge pull request #95748 from corngood/p4v

2020-08-19 19:00:56 -07:00

web

Merge pull request #95553 from zowoq/rename-maintainers

2020-08-18 11:30:24 +02:00