Commit graph

149637 commits

Author SHA1 Message Date
Austin Seipp
9b64100add btor2tools: init at pre55_8c150b39
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp
68cc845295 lingeling: init at pre1_03b4860d
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp
6e910b2b3d aiger: clean up configurePhase, install multi-output objects/headers
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Aaron Andersen
c74013339e added the MLDBM package to perlPackages 2018-08-15 21:11:28 -04:00
Matthew Bauer
3d6448250f
Merge pull request #43550 from IvanMalison/add_rofi-systemd
rofi-systemd: init at 0.1.0
2018-08-15 19:56:16 -05:00
Michael Mercier
b8566965df Update simgrid 3.19.1 -> 3.20 + parallel tests + enable darwin (#42721)
* simgrid: 3.19.1 -> 3.20

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/simgrid/versions.

These checks were done:

- built on NixOS
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicc passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicxx passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpirun passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/tesh had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid-colorizer passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_update_xml had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_convert_TI_traces passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpimain had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/graphicator passed the binary check.
- 6 of 9 passed binary check by having a zero exit code.
- 4 of 9 passed binary check by having the new version present in output.
- found 3.20 with grep in /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20
- directory tree listing: https://gist.github.com/edefc2f1a2e81412484edc2e45986e03
- du listing: https://gist.github.com/a44f7d57537e93152a8e6c569f8ed1ae

* simgrid: 3.19.1 -> 3.20 + add darwin

- Fix dependencies to enable build on darwin
- Add ctest flag to enable parallel testing

* Use simpler parallel testing logic

because it is already done in nixpkgs/pkgs/stdenv/generic/setup.sh
2018-08-15 19:54:41 -05:00
Bernard Fortz
22c15abe20 cplex: init at 12.8 (#44029)
* cplex: init at 12.8

* Removed bundled java from bin directory

* Refactored

* More refactoring

* Added config option for releasePath

* Minor cleanup
2018-08-15 19:46:09 -05:00
Matthew Bauer
bbb0e5332b
Merge pull request #44879 from jasoncarr0/add-jake-madoko
nodePackages.jake init, nodePackages.madoko init
2018-08-15 19:41:44 -05:00
Matthew Bauer
6e094cb4bf
Merge pull request #44699 from yrashk/tiddlywiki
nodePackages.tiddlywiki: init at 5.1.17
2018-08-15 19:41:22 -05:00
worldofpeace
48a765e641 nixos/zeitgeist: init 2018-08-15 20:05:00 -04:00
worldofpeace
3a73518a28 indicator-application-gtk3: 12.10.0 -> 12.10.1 2018-08-15 19:36:49 -04:00
Timo Kaufmann
d202dafd4a
Merge pull request #45055 from alyssais/slack-cli
slack-cli: init at 0.18.0
2018-08-16 01:30:33 +02:00
Jan Tojnar
93cba00d54
Merge pull request #45084 from jtojnar/fwupd-1.1.1
fwupd: 1.1.0 → 1.1.1
2018-08-16 01:26:28 +02:00
Timo Kaufmann
8abc4b7f9c
Merge pull request #45067 from timokau/eclib-20180815
eclib: 20180710 -> 20180815
2018-08-16 01:02:54 +02:00
Jan Tojnar
c03d0b52ac
evilvte: mark as insecure 2018-08-16 00:52:25 +02:00
Timo Kaufmann
8c3db41c54 eclib: 20180710 -> 20180815 2018-08-16 00:46:41 +02:00
Stephen
083c3183ff
terragrunt: 0.16.5 -> 0.16.6 2018-08-15 15:14:17 -07:00
Fatih Altinok
f5da6ff71c
flow: 0.77.0 -> 0.78.0 2018-08-16 00:44:41 +03:00
Andreas Rammhold
67ea2c0ffe
samba: 4.7.6 -> 4.7.9
Version 4.7.9 is a security release. The versions 4.7.7 & 4.7.8 contain
numerous bug fixes.

This fixes a couple of security related issues:
 - https://www.samba.org/samba/security/CVE-2018-10858.html
 - https://www.samba.org/samba/security/CVE-2018-10918.html
 - https://www.samba.org/samba/security/CVE-2018-10919.html
 - https://www.samba.org/samba/security/CVE-2018-1139.html

Changelogs for the version upgrades can be found below.

 - https://www.samba.org/samba/history/samba-4.7.7.html
 - https://www.samba.org/samba/history/samba-4.7.8.html
 - https://www.samba.org/samba/history/samba-4.7.9.html
2018-08-15 23:39:16 +02:00
Izorkin
300fe1cc9a syslog-ng: fix reload service 2018-08-16 00:05:35 +03:00
Meghea Iulian
4da408fa67 gitkraken: 3.6.6 -> 4.0.1 2018-08-16 00:01:54 +03:00
Jan Tojnar
672191678d
fwupd: 1.1.0 → 1.1.1 2018-08-15 22:33:37 +02:00
Vladimír Čunát
d2b08c432c
Merge #45080: openssl_1_1_0: 1.1.0h -> 1.1.0i 2018-08-15 22:28:55 +02:00
Markus Kowalewski
5c395d5095
cri-tools: add license 2018-08-15 21:55:04 +02:00
Samuel Leathers
67b1cbb39d
Merge pull request #40399 from rvl/datadog-agent
DataDog Agent v6
2018-08-15 15:53:03 -04:00
Andy Chun @noneucat
69e96f65ed mimic: init at 1.2.0.2 2018-08-15 12:43:37 -07:00
xeji
3f59f828d0
Merge pull request #45044 from veprbl/pr/rivet_271_bump
rivet: 2.7.0 -> 2.7.1
2018-08-15 21:35:59 +02:00
Vincent Ambo
15064010fa kontemplate: 1.6.0 -> 1.7.0
Upstream release notes available at:

https://github.com/tazjin/kontemplate/releases/tag/v1.7.0

The upstream uses Nix as the build system and the changes to
`deps.nix` are simply copied over from there.
2018-08-15 21:34:10 +02:00
Andreas Rammhold
0a40875439
openssl_1_1_0: 1.1.0h -> 1.1.0i
this addresses:
 - Client DoS due to large DH parameter (CVE-2018-0732)
 - Cache timing vulnerability in RSA Key Generation (CVE-2018-0737)

Changelog: https://www.openssl.org/news/changelog.html#x1
2018-08-15 21:12:00 +02:00
Jude Taylor
59027e2880 Revert "libvirt: fix dlopen("libjansson.so.4")"
This reverts commit d46cfd2ff0, which
broke libvirt + some dependent packages (notably nixops) on Darwin
2018-08-15 12:07:03 -07:00
Markus Kowalewski
8fa1389402
cron: add license 2018-08-15 20:53:08 +02:00
Markus Kowalewski
c1801f612c
cowsay: add license 2018-08-15 20:53:08 +02:00
Markus Kowalewski
47e8f3b137
cromfs: add license 2018-08-15 20:53:08 +02:00
Markus Kowalewski
8c6dc9def7
cpio: add license 2018-08-15 20:53:07 +02:00
Markus Kowalewski
de5b6b2bfe
cramfsswap: add licenses + meta data 2018-08-15 20:53:07 +02:00
Markus Kowalewski
546bbb6948
cpufrequtils: add license + homepage 2018-08-15 20:53:07 +02:00
Markus Kowalewski
2c2d02fce5
cracklib: add license 2018-08-15 20:53:07 +02:00
Markus Kowalewski
4ea5a9161f
cppunit: add license 2018-08-15 20:53:07 +02:00
Jörg Thalheim
0a17d08a97
Merge pull request #44922 from Enzime/fix/darktable-on-macos
darktable: Fix compilation on macOS
2018-08-15 20:24:20 +02:00
Jörg Thalheim
878c111da6
Merge pull request #45065 from fgaz/twemoji-color-font
twemoji-color-font: 1.3 -> 1.4
2018-08-15 20:19:40 +02:00
Jörg Thalheim
34c7d06db8
Merge pull request #45073 from Izorkin/syslog-ng
syslog-ng: enable reload service
2018-08-15 19:31:19 +02:00
Austin Seipp
e7e77e108a nextpnr: init at 2018.08.09
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 12:14:02 -05:00
zimbatm
9976f37c77
Merge pull request #44896 from cdepillabout/vbox-extpack
add derivation for the virtualbox oracle extension pack
2018-08-15 18:05:07 +01:00
David McKay
27ddcc5bab wavebox: init at 3.14.10 (#45021) 2018-08-15 19:03:18 +02:00
Tim Steinbach
084864bf2b
linux: 4.18 -> 4.18.1 2018-08-15 12:54:17 -04:00
Tim Steinbach
4031c5fe0d
linux: 4.17.14 -> 4.17.15 2018-08-15 12:54:03 -04:00
Tim Steinbach
737f1b4c40
linux: 4.14.62 -> 4.14.63 2018-08-15 12:53:55 -04:00
Tim Steinbach
c5f3a5b982
linux: 4.9.119 -> 4.9.120 2018-08-15 12:53:45 -04:00
Tim Steinbach
067d5e6289
linux: 4.4.147 -> 4.4.148 2018-08-15 12:53:36 -04:00
Izorkin
c2b24892b0 syslog-ng: enable reload service 2018-08-15 19:46:47 +03:00