John Wiegley f1fc74359f coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7

2017-11-12 08:50:37 -08:00

..

arduino

…

beam-modules

hex-packages: delete transitively unbuildable packages

2017-11-08 07:23:51 +00:00

bower-modules/generic

…

compilers

ghc: bump 8.2.2 pre-release to rc3

2017-11-11 17:38:26 +01:00

coq-modules

coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7

2017-11-12 08:50:37 -08:00

dotnet-modules/patches

…

eclipse/ecj

…

em-modules/generic

…

go-modules

Merge pull request #30350 from alicebob/absdir

2017-11-11 01:17:23 +00:00

guile-modules

…

haskell-modules

haskell-c2hs: use development version from github to work around _Float128 bug

2017-11-11 17:38:42 +01:00

idris-modules

Add wrapper for idris exe for gcc/gmp runtime deps

2017-11-02 23:14:12 +00:00

interpreters

Apply changes recommended by @Mic92

2017-11-09 00:14:27 -08:00

java-modules

Change many homepage urls from http to https #30636

2017-11-10 22:13:46 +01:00

libraries

make-dbus-conf: prefer local build

2017-11-12 03:52:21 +00:00

lisp-modules

asdf: 3.2.0 -> 3.3.0

2017-11-11 15:31:43 +01:00

lua-modules

…

misc

Change many homepage urls from http to https #30636

2017-11-10 22:13:46 +01:00

mobile

…

node-packages

Change many homepage urls from http to https #30636

2017-11-10 22:13:46 +01:00

ocaml-modules

ocamlPackages.nocrypto: remove spurious dependency on oasis

2017-11-12 10:19:56 +00:00

perl-modules

perl-DBD-SQLite: 1.50 -> 1.54

2017-10-31 11:35:25 +01:00

pharo

…

pure-modules

…

python-modules

Merge pull request #31554 from xvapx/libnacl

2017-11-12 10:43:29 +01:00

qtcreator

…

r-modules

nixpkgs manual: add rstudio shell.nix example

2017-11-04 12:26:08 +01:00

ruby-modules

bundlerEnv: support unicode executables (#31145)

2017-11-03 11:31:16 +00:00

tools

Fix homepage links (see #30636)

2017-11-11 17:36:48 +01:00

web

Change many homepage urls from http to https #30636

2017-11-10 22:13:46 +01:00