adisbladis ff94fbc416 Merge pull request #33851 from vbgl/why3-0.88.3 ...

why3: 0.88.1 -> 0.88.3

2018-01-15 01:27:45 +08:00

..

applications

Merge pull request #33851 from vbgl/why3-0.88.3

2018-01-15 01:27:45 +08:00

build-support

callCabal2nix: Fix calling with a path in the store.

2018-01-11 10:17:56 -05:00

common-updater

…

data

fantasque-sans-mono: 1.7.1 -> 1.7.2

2018-01-14 17:10:43 +01:00

desktops

qlipper: 5.0.0 -> 5.1.1

2018-01-12 10:24:36 -02:00

development

python3Packages.netdisco: init at 1.2.3

2018-01-14 16:59:38 +01:00

games

Merge pull request #33792 from paraseba/scidvspc

2018-01-13 21:16:19 -05:00

misc

Merge pull request #32822 from LumiGuide/elk6

2018-01-14 10:40:50 +01:00

os-specific

linuxPackages.extfat-nofuse: fix libelf dependency

2018-01-13 18:45:04 +00:00

servers

Merge pull request #32822 from LumiGuide/elk6

2018-01-14 10:40:50 +01:00

shells

nix-bash-completions: 0.6.1 -> 0.6.2

2018-01-10 08:40:57 +01:00

stdenv

Merge pull request #33681 from obsidiansystems/fixed-output-deps

2018-01-10 14:28:10 -05:00

test

sierra-shared-test: fix build

2018-01-05 23:20:55 +01:00

tools

spectre-meltdown-checker: init at 0.29

2018-01-14 16:29:37 +01:00

top-level

python3Packages.netdisco: init at 1.2.3

2018-01-14 16:59:38 +01:00