zimbatm 3d0af7848c Merge pull request #67607 from zimbatm/verifpal-0.2 ...

verifpal: init at 0.2

2019-08-30 21:56:52 +02:00

..

androidndk-pkgs

…

arduino

…

beam-modules

…

bower-modules/generic

…

compilers

Merge pull request #67578 from prusnak/gcc-arm-embedded

2019-08-30 10:47:53 +02:00

coq-modules

…

dhall-modules

…

dotnet-modules/patches

…

em-modules/generic

…

go-modules

…

go-packages

…

guile-modules

…

haskell-modules

hackage-packages.nix: automatic Haskell package set update

2019-08-28 15:52:04 +00:00

idris-modules

…

interpreters

evcxr: 0.4.3 -> 0.4.4

2019-08-29 01:51:25 +02:00

java-modules

…

libraries

libhandy: 0.0.10. -> 0.0.11

2019-08-30 10:29:18 +10:00

lisp-modules

lispPackages: update to Quicklisp release 2019-07-11

2019-08-25 22:53:27 +03:00

lua-modules

ljsyscall: init at 20180515

2019-08-28 19:58:14 +09:00

misc

google-clasp: init at 2.2.1 (#43376)

2019-08-22 13:29:43 +02:00

mobile

…

node-packages

nodePackages.gtop: init at 1.0.0 (#65306)

2019-08-25 18:14:08 +02:00

ocaml-modules

ocamlPackages.batteries: 2.9.0 -> 2.10.0

2019-08-29 05:42:43 +00:00

perl-modules

perlPackages.DBDOracle: fix darwin build

2019-08-22 12:32:32 +02:00

pharo

…

pure-modules

…

python-modules

python-HyperKitty: initial version 1.2.2

2019-08-30 14:25:13 +02:00

r-modules

…

ruby-modules

Merge pull request #65370 from Ma27/package-3llo

2019-08-25 15:42:13 -04:00

tools

Merge pull request #67607 from zimbatm/verifpal-0.2

2019-08-30 21:56:52 +02:00

web

cypress: 3.4.0 -> 3.4.1

2019-08-22 15:02:14 +02:00