Vincent Laporte c37e00067d coqPackages.ltac2: init at 0.1

2019-05-23 14:25:07 +02:00

..

androidndk-pkgs

…

arduino

…

beam-modules

…

bower-modules/generic

…

compilers

libglvnd, ocl-icd, vulkan-loader: Add /run/opengl-driver(-32) to RUNPATH. (#60985)

2019-05-22 23:36:01 +02:00

coq-modules

coqPackages.ltac2: init at 0.1

2019-05-23 14:25:07 +02:00

dhall-modules

…

dotnet-modules/patches

…

em-modules/generic

…

go-modules

…

go-packages

…

guile-modules

guile-lib: 0.2.2 -> 0.2.6.1 (#60978)

2019-05-18 19:07:56 +02:00

haskell-modules

haskell-tasty-hedgehog: current versions need hedgehog 1.x or later

2019-05-18 12:58:02 +02:00

idris-modules

idrisPackages.build-idris-package: Install binaries

2019-04-28 16:54:32 +02:00

interpreters

Merge pull request #61802 from r-ryantm/auto-update/elixir

2019-05-22 05:30:16 -07:00

java-modules

…

libraries

libheif: add patch for CVE-2019-11471 (PR #61919)

2019-05-23 10:06:11 +02:00

lisp-modules

…

lua-modules

Merge #60614: lua*Packages improvements

2019-05-12 10:01:48 +02:00

misc

…

mobile

cocoapods-beta: 1.7.0.rc.1 -> 1.7.0.rc.2

2019-05-15 13:02:02 -07:00

node-packages

nodePackages: regenerate

2019-05-10 17:34:34 -04:00

ocaml-modules

Merge pull request #61861 from r-ryantm/auto-update/ocaml-logs

2019-05-22 21:59:15 -07:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

Merge pull request #61914 from r-ryantm/auto-update/python3.7-pyutilib

2019-05-23 14:13:54 +02:00

r-modules

…

ruby-modules

gem-config: add zlib

2019-05-08 17:46:03 +02:00

tools

Merge pull request #61931 from marsam/update-flow

2019-05-23 06:30:59 -05:00

web

kore: 2.0.0 -> 3.3.0 (#61846)

2019-05-22 14:58:06 +02:00