sternenseemann bca81534f0 ocamlPackages.mirage: fix build by adding missing deps ... Previously the mirage library/package wouldn't be built/installed correctly due to missing deps which I now added as specified in the opam file. While I was at it, I also enabled tests.		2020-12-29 22:47:41 +01:00
..
androidndk-pkgs
arduino	Merge pull request #107529 from raboof/arduino-core-1.8.12-to-1.8.13	2020-12-25 12:42:44 +02:00
beam-modules
bower-modules/generic
chez-modules
compilers	gcc-arm-embedded: don't override phases	2020-12-29 11:36:17 +01:00
coq-modules	coq_8_13: init at 8.13+β1	2020-12-15 21:13:40 +01:00
dhall-modules
dotnet-modules
em-modules/generic
go-modules	buildGoModule: fix cross-compilation with CGO_ENABLED=1	2020-12-26 23:40:05 +01:00
go-packages
guile-modules
haskell-modules	haskellPackages.apecs-physics: push to 0.4.5 to unbreak build	2020-12-25 20:42:36 +01:00
idris-modules
interpreters	lua: add 5.4.2	2020-12-27 16:01:28 +01:00
java-modules
libraries	Merge pull request #107443 from nima2007/zchunk_work	2020-12-29 14:31:39 -05:00
lisp-modules
lua-modules
misc	rpiboot-unstable: enable build on x86_64-linux	2020-12-27 17:01:03 +01:00
mobile
node-packages
ocaml-modules	ocamlPackages.mirage: fix build by adding missing deps	2020-12-29 22:47:41 +01:00
perl-modules
pharo
php-packages	phpExtensions.imagick: upgrade to ImageMagick 7	2020-12-15 10:03:09 +01:00
pure-modules
python-modules	Merge pull request #107859 from marsam/fix-shapely-darwin	2020-12-29 18:16:30 +01:00
r-modules
ruby-modules
tools	impl: unstable-2019-11-19 -> 1.0.0	2020-12-29 18:31:14 +07:00
web	lucky-cli: 0.24 -> 0.25	2020-12-28 16:21:23 +08:00