JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
118,033 Commits 2 Branches 0 Tags 13 GiB
b367d0ff10
Commit Graph

20849 Commits

Author SHA1 Message Date
Fatih Altinok
b367d0ff10 qutebrowser: 1.0.1 -> 1.0.2 2017-10-17 09:36:03 +03:00
Graham Christensen
ce4fcfb1c5 Merge pull request #30480 from acowley/emacsMacport-6.8 
emacsMacport: 25.3-6.7 -> 25.3-6.8
 2017-10-16 22:08:06 -04:00
Jörg Thalheim
eee77393b4 Merge pull request #30464 from rnhmjoj/bb 
bb: init at 1.3rc1
 2017-10-17 02:55:52 +01:00
Jörg Thalheim
e935fbf43f Merge pull request #30458 from sigma/pr/ghq-0.8.0 
ghq: 0.7.4 -> 0.8.0
 2017-10-17 02:42:57 +01:00
John Ericson
6e1f864fd0 sc2-headless: License is unfree 
I wrongly assumed that was the default when reviewing the PR.
 2017-10-16 17:06:48 -04:00
Dan Haraj
188a413ebc sc2-headless: init at 3.17 
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
 2017-10-16 16:34:00 -04:00
Anthony Cowley
a4203d0ffc emacsMacport: 25.3-6.7 -> 25.3-6.8 2017-10-16 15:16:01 -04:00
Austin Seipp
cd52a3d53c aiger: fix stupid incorrect download link 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33 nixpkgs: add aiger 1.9.9 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96 picosat: install more stuff 
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Lancelot SIX
eaeb6721d9 Merge pull request #30471 from thall/qgis_2_18_13 
qgis: 2.18.12 -> 2.18.13
 2017-10-16 18:29:09 +02:00
Markus Mueller
60b0db0e08
gitlab: link tmp/ directory to writable path 2017-10-16 14:58:02 +02:00
Niclas Thall
2c8058183f qgis: 2.18.12 -> 2.18.13 2017-10-16 13:41:39 +02:00
rnhmjoj
14bbec1801
bb: init at 1.3rc1 2017-10-16 11:08:06 +02:00
Jörg Thalheim
09deacb7b8 Merge pull request #30388 from Infinisil/vis-fix 
cli-visualizer: fix
 2017-10-16 08:46:59 +01:00
Peter Hoeg
02a23b7b24 sddm: theme background images use a relative path which breaks sddm-kcm 2017-10-16 14:25:23 +08:00
Yann Hodique
b6d3d7cfc4 ghq: 0.7.4 -> 0.8.0 2017-10-15 21:21:20 -07:00
Simon Lackerbauer
800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Simon Lackerbauer
bb94e0408f rstudio: 1.1.351 -> 1.1.383 2017-10-16 02:38:26 +02:00
Franz Pletz
c100811d63
scudcloud: add jsmin dependency, fixes build 2017-10-15 16:16:36 +02:00
Joachim F
28b0dfac1e Merge pull request #30417 from SuprDewd/astroid-0.10.2 
astroid: 0.9.1 -> 0.10.2
 2017-10-15 13:48:53 +00:00
Vladimír Čunát
3ee33f35f8
Merge branch 'staging' 
Contains security fixes in X server and X libs.
On Hydra, the amount to rebuild on master is now higher than on staging;
the comparison looks OK.
 2017-10-15 13:59:18 +02:00
Matthias Beyer
5a21efdcdf gitAndTools.git-dit: 0.1.0 -> 0.3.0 2017-10-15 11:59:30 +01:00
Vladimír Čunát
b1d32c0538
aegisub: fixup build with icu-59 
Thanks to https://github.com/gentoo/gentoo/commit/779fbc09c456a
 2017-10-15 10:44:16 +02:00
Michael Raskin
cceae9a56e Merge pull request #30420 from mimadrid/update/rofi-1.4.1 
rofi: 1.3.1 -> 1.4.1
 2017-10-15 00:28:38 +02:00
mimadrid
416fe660df
rofi: 1.3.1 -> 1.4.1 2017-10-14 22:08:19 +02:00
vbgl
fcfeda5544 Merge pull request #30206 from romildo/upd.mkvtoolnix 
mkvtoolnix: 15.0.0 -> 16.0.0;  libmatroska: 1.4.7 -> 1.4.8
 2017-10-14 21:48:44 +02:00
Vladimír Čunát
e067d26f43
firefox: fixup build on i686-linux after 56.x update 
Broken since #30143.
I can't say I understand why this combination is apparently unsupported.
i686-linux is a second-tier platform now, but firefox is still kept a
channel blocker...
 2017-10-14 21:24:15 +02:00
Jörg Thalheim
fe36e9aefa Merge pull request #29783 from catern/ffkrb 
firefox: add Kerberos support
 2017-10-14 18:06:00 +01:00
Michael Weiss
527f6e9c47 android-studio-preview: 3.0.0.15 -> 3.0.0.16 2017-10-14 18:57:13 +02:00
Bjarki Ágúst Guðmundsson
9b2af1869b astroid: 0.9.1 -> 0.10.2 
- Use gmime3 instead of gmime2: https://github.com/astroidmail/astroid/issues/405
- Remove adwaita-icon-theme, as it is not needed
- Add SuprDewd as a maintainer
 2017-10-14 16:51:20 +00:00
Luca Bruno
7c45662947 go-ethereum: 1.7.1 -> 1.7.2 2017-10-14 16:39:36 +02:00
Jörg Thalheim
a062e325b0 Merge pull request #30345 from matklad/update-jb 
Update jb
 2017-10-14 14:40:41 +01:00
gnidorah
27bcd6c426 mailnag: fix working (#30358) 
* mailnag: fix working

* mailnag: use wrapGAppsHook; add icon theme
 2017-10-14 12:07:44 +01:00
Herwig Hochleitner
30b3b5d85f announce myself as a maintainer 
added maintainer entries for `cdemu` (which i've created), as well as
`wine` and `chromium` (which I regularly contribute to)
 2017-10-14 11:11:49 +02:00
Justin Humm
5cca8800a4 notmuch-bower: init at 2017-09-27 (#29856) 
* bower: init and add erictapen as maintainer

* bower: fix up

* notmuch-bower: rename from bower
 2017-10-14 10:08:04 +01:00
Vladimír Čunát
6525c22ef1
Merge branch 'master' into staging 
Hydra: ?compare=1401528
 2017-10-14 10:36:13 +02:00
Lancelot SIX
c4160a4eb7 Merge pull request #30329 from gleber/pgadmin-upgrade-fix 
pgadmin3: 1.22.1 -> 1.22.2
 2017-10-14 09:48:10 +02:00
Peter Hoeg
72d8eeea88 Revert "amarok-kf5: init at 2.8.91-20170228" 
This reverts commit fde0bad577.
 2017-10-14 14:42:49 +08:00
Peter Hoeg
d81601065d Revert "msmtp: add nonblocking support" 
This reverts commit 5f29e9fdbf.
 2017-10-14 14:42:48 +08:00
Peter Hoeg
9bf0e701e9 kdeconnect: boy scout cleanups 2017-10-14 14:38:04 +08:00
Peter Hoeg
5f29e9fdbf msmtp: add nonblocking support 2017-10-14 14:38:04 +08:00
Peter Hoeg
fde0bad577 amarok-kf5: init at 2.8.91-20170228 2017-10-14 14:38:04 +08:00
Florian Klink
c46fa38c90 gummi: init at 0.6.6 (#30398) 
* gummi: init at 0.6.6

* gummi: cleanup
 2017-10-13 23:22:12 +01:00
Gleb Peregud
52bedcb14b pgadmin3: 1.22.1 -> 1.22.2 
Also include Debian patch
https://sources.debian.net/data/main/p/pgadmin3/1.22.2-1/debian/patches/843344
which fixes segfault at start
 2017-10-13 22:52:52 +02:00
Jörg Thalheim
2820830e3e Merge pull request #30029 from jensbin/citrix_receiver_13.7.0 
citrix-receiver: 13.4.0 -> 13.7.0
 2017-10-13 21:25:39 +01:00
Jörg Thalheim
50a3db126d Merge pull request #30394 from flokli/neomutt 
neomutt: 20170912 -> 20171013
 2017-10-13 20:24:20 +01:00
Florian Klink
a678696e40 neomutt: 20170912 -> 20171013 2017-10-13 19:36:05 +02:00