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

9864 Commits

Author SHA1 Message Date
Asko Soukka
278287a99b emacs: fix to use \${gettext}/share/locale/locale.alias 2015-07-03 03:18:15 +03:00
Thomas Strobel
649697ddcf Xen: add XEN 4.5.1 2015-07-02 16:37:03 +02:00
Thomas Strobel
6bd694321d Xen: enable Spice/QXL + add libhvm + minor fixes 2015-07-02 16:33:01 +02:00
Eelco Dolstra
f3e2b31297 blender: Update to 2.75 
(cherry picked from commit 36779d90e2b7e93ec5387cc5b5d106a037eb3d11)
 2015-07-02 15:36:46 +02:00
Eelco Dolstra
24d922ec3a openimageio: Update to 1.4.16 and fix name 
(cherry picked from commit 17994d9e54448d71246f1221b188118fa7653ff7)
 2015-07-02 15:36:42 +02:00
Pascal Wittmann
27e0488e11 Merge pull request #8421 from travisbhartwell/update/atom 
atom: 0.187.0 -> 1.0.0
 2015-07-02 11:37:33 +02:00
Arseniy Seroka
fd2ee86a1a Merge pull request #8575 from i-bot/update/eclipse-sdk 
eclipse-sdk: 4.4.2 -> 4.5
 2015-07-02 03:15:58 +03:00
Pascal Wittmann
b6db9b9553 src: update from 0.13 to 0.19 2015-07-01 23:43:17 +02:00
Pascal Wittmann
87836a2a21 Merge pull request #6314 from matthiasbeyer/add-khard 
Add package: khard
 2015-07-01 20:30:34 +02:00
Matthias Beyer
95578b07f7 khard: init at 0.4.0 2015-07-01 20:06:06 +02:00
Pascal Wittmann
3eafad1a3c vimpc: refactor and adopt 2015-07-01 18:30:55 +02:00
Arseniy Seroka
2bcd1dff75 Merge pull request #8582 from dwe11er/update-virt-manager 
virt-manager: 1.1.0 -> 1.2.1
 2015-07-01 19:07:05 +03:00
Arseniy Seroka
9661e477bc Merge pull request #8563 from akaWolf/master 
Updated qtox to the last version
 2015-07-01 17:16:16 +03:00
Shea Levy
145768bf9b Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
Artjom Vejsel
25ee65de97 qtox: 20150128 -> 20150624 2015-07-01 14:39:04 +03:00
Arseniy Seroka
2fa1ba7683 Merge pull request #8577 from joachifm/recoll-1_20 
recoll: 1.18.1 -> 1.20.6
 2015-07-01 14:31:15 +03:00
Marcin Falkiewicz
9694112d6f virt-manager: 1.1.0 -> 1.2.1 2015-07-01 10:49:46 +02:00
lethalman
d50969b66e Merge pull request #8580 from jraygauthier/jrg/fix_meld_hicolor_icon_breakage 
Fix meld package that broke the hicolor icon theme.
 2015-07-01 10:12:32 +02:00
Travis B. Hartwell
fd4c675c77 atom: update desktop file and remove unneeded lintian directory. 2015-07-01 01:52:13 -06:00
Travis B. Hartwell
a77d26b657 atom: update 0.187.0 -> 1.0.0 
Added systemd to buildEnv path because of new dependency on libudev.
 2015-07-01 01:51:47 -06:00
Raymond Gauthier
d612a9e132 meld: fix for hicolor theme breakage 
This breakage was cause by the package outputing its own
version of index.cache to `share/icons/hicolor`.

Used the `hicolor_icon_theme` hook to perform automated cleanup.
 2015-07-01 00:26:02 -04:00
Joachim Fasting
4d3da76c28 recoll: 1.18.1 -> 1.20.6 2015-06-30 23:19:47 +02:00
i-bot
4527d6a7de eclipse-sdk: 4.4.2 -> 4.5 2015-06-30 19:56:52 +02:00
Charles Strahan
433a13d12a taffybar: init with-packages wrapper 
This provides a wrapper around taffybar, in a fashion similar to how
package xmonad.
 2015-06-30 11:11:43 -04:00
Carles Pagès
3dd09ed069 Merge pull request #8524 from cpages/master 
abcde: update to 2.7 and fix mp3 tagging
 2015-06-30 15:04:47 +02:00
Pascal Wittmann
2cdbe82ada llpp: update from 2015-06-06 to 2015-06-27 2015-06-30 13:07:06 +02:00
Arseniy Seroka
7e9cba3a2d qutebrowser: 0.3-pre -> 0.3 2015-06-29 19:05:51 +03:00
Pascal Wittmann
5ade71b1d7 pencil: wrap bin/pencil correctly, fixes #8551 2015-06-29 17:04:35 +02:00
Pascal Wittmann
bd65e8afb4 bro: update from 2.3.2 to 2.4 2015-06-29 12:50:34 +02:00
Domen Kožar
3ff2dfb7fa Merge pull request #8423 from bobvanderlinden/popcorntime-bin 
added popcorntime package
 2015-06-28 10:01:45 +02:00
Kirill Elagin
f49e9ce1be qutebrowser: Add @jagajaga as a maintainer 2015-06-28 02:38:01 +03:00
Kirill Elagin
e2398a2361 qutebrowser: update to git master 
qutebrowser is actively developed, sticking to stable
versions doesn’t make any sense.
Also fixed formatting.
 2015-06-28 02:26:59 +03:00
Matthias Beyer
c37e2745bd mdp: Add license, pkg maintainer 2015-06-27 19:41:11 +02:00
Matthias Beyer
7ea32d390b mdp: 0.93 -> 1.0.0 2015-06-27 19:40:56 +02:00
Carles Pagès
8658ab9675 abcde: update to 2.7 and fix mp3 tagging 
It now depends on eyeD3 (python), but that's an upstream decision.
 2015-06-27 14:19:22 +02:00
William A. Kennington III
7297255019 Convert all jack references to libjack2 2015-06-27 00:17:52 -07:00
William A. Kennington III
adeab5e815 Migrate all heimdal -> libheimdal 
Also disable heimdal references in samba as it uses internal api
features not guaranteed to be stable
 2015-06-26 17:23:00 -07:00
Arseniy Seroka
43636bc83c Merge pull request #8506 from hrdinka/add/qtpass 
qtpass: init at 0.8.4
 2015-06-26 20:19:06 +03:00
Pascal Wittmann
dd73d2af87 Merge pull request #8505 from joachifm/delete-codeville 
codeville: delete expression
 2015-06-26 17:09:42 +02:00
Damien Cassou
8b86e245bc stumpwm: use full-path of xdpyinfo, closes #8518 2015-06-26 16:23:48 +02:00
Markus Kohlhase
86dbc9b5e2 k9copy: fixed attributes to evaluate with current master 2015-06-26 10:11:49 +02:00
Christoph Hrdinka
bc975c36d1 qtpass: init at 0.8.4 2015-06-26 09:44:02 +02:00
Arseniy Seroka
55d7d52d13 Merge pull request #8496 from jb55/obs-studio-audio 
obs-studio: add audio support
 2015-06-26 00:59:05 +03:00
vbgl
5c537f3bdd Merge pull request #8296 from vbgl/ocamlp4 
OCaml-4.02: fix ocamlbuild rules for camlp4
 2015-06-25 23:54:13 +02:00
Vincent Laporte
715f78be7e E prover: do not build the manual 2015-06-25 23:21:25 +02:00
Joachim Fasting
78d4f1dec6 codeville: delete expression 
Codeville is abandonware. The homepage returns 404, and the last release
is 8 years old ...
 2015-06-25 22:34:29 +02:00
Bob van der Linden
bb10e48573 popcorntime: don't use pkgs in argument 2015-06-25 19:05:52 +02:00
Thomas Tuegel
6c1d645bd0 kde5: propagate plugin and QML dependencies 2015-06-25 09:03:42 -05:00
Thomas Tuegel
8862d8d9c9 autonix: JSON manifest format 2015-06-25 09:03:40 -05:00
Thomas Tuegel
0aa8e64967 kde5: JSON manifest format 2015-06-25 09:03:40 -05:00
William Casarin
1281f51b69 obs-studio: audio support 2015-06-25 00:32:16 -07:00
Vincent Laporte
1d72ce49cf coq-8.3: fix (needs make 3) 2015-06-25 08:55:31 +02:00
Vincent Laporte
f7dc2df7c0 acgtk: fix build with OCaml 4.02 2015-06-25 08:55:30 +02:00
Vincent Laporte
5beebaca58 fix glsurf 2015-06-25 08:55:29 +02:00
William A. Kennington III
c5b17670e1 firefox: 38.0.5 -> 38.0.6 2015-06-24 23:04:29 -07:00
Jascha Geerds
bc4b46c142 rtv: Replace fetchurl with fetchFromGitHub 2015-06-24 21:45:55 +02:00
Alexander Foremny
ba7e7e1c9a Update flashplayer-11 2015-06-24 16:08:52 +02:00
lethalman
5ee8b66a68 Merge pull request #8474 from obadz/moar-dotnet 
Some dotnet upgrades + a few new packages
 2015-06-24 14:32:56 +02:00
Jascha Geerds
ec222230a5 Merge pull request #8475 from ehahn/qutebrowser 
qutebrowser: Fix license
 2015-06-24 13:39:22 +02:00
Pascal Wittmann
08cf3d28b1 Merge pull request #8482 from ctheune/submit/syncthing-0.11.10 
Update syncthing to 0.11.10
 2015-06-24 13:21:08 +02:00
Sou Bunnbu
c7c8f4a780 Merge pull request #8481 from iyzsong/master 
tiled: update to 0.12.3 and build with qt5
 2015-06-24 19:16:22 +08:00
Christian Theune
700e11dfee Update syncthing to 0.11.10 2015-06-24 13:07:34 +02:00
Eelco Dolstra
ab8a2b0c78 vlc: Don't depend on JACK by default 
To reduce dependency bloat, packages should not depend on non-standard
audio systems by default.
 2015-06-24 12:20:38 +02:00
Peter Simons
922c555015 mercurial: add hg-git support 
Enable this feature by putting these lines into your ~/.hgrc file:

  [extensions]
  hgext.bookmarks =
  hggit =
 2015-06-24 11:33:17 +02:00
Pascal Wittmann
cf13409313 fityk: update 1.2.9 to 1.3.0 2015-06-24 11:15:44 +02:00
宋文武
7c0c2dc15b tiled: update to 0.12.3 and build with qt5 2015-06-24 17:14:12 +08:00
Pascal Wittmann
1776016bf7 filezilla: update from 3.10.3 to 3.11.0.2 2015-06-24 10:47:09 +02:00
laMudri
723cd518b9 hol: k.8 -> k.10, closes #8477 2015-06-24 10:04:54 +02:00
obadz
3f762e27ec monodevelop: 5.9.0.431 -> 5.9.4.5 2015-06-23 23:11:08 +01:00
Erik Hahn
d6acec03bb qutebrowser: fix license 2015-06-24 00:10:54 +02:00
Arseniy Seroka
2aac4c301c Merge pull request #8469 from ehahn/qutebrowser 
add packages: qutebrowser + dependency pypeg2
 2015-06-23 17:22:26 +03:00
Vladimír Čunát
110aabbb67 liferea: maintenance update 2015-06-23 15:10:03 +02:00
Erik Hahn
006e7ae04e qutebrowser: init at 0.2.1 2015-06-23 13:39:33 +02:00
Tadas Barzdzius
32af0c1f7d spotify: remove broken 32-bit support and cleanup workarounds 2015-06-23 13:28:00 +03:00
Cillian de Róiste
5c4a2d311f yoshimi: update from 1.3.4 to 1.3.5.1 2015-06-23 09:48:48 +02:00
aszlig
7143f34970
chromium: Drop references to version 42 and below. 
Since 7d217e3 the lowest version number is 43, so all those conditionals
are no longer needed.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2015-06-23 03:35:30 +02:00
aszlig
cadd675e7a
chromium: Disable "hotwording" by default. 
There has been some recent news about that component extension on hacker
news:

https://news.ycombinator.com/item?id=9724409

Even though on our side it won't work, because we don't have NaCl
enabled by default or even working (I honestly haven't tested if it even
builds if enabled), we might get to the point where we can build with
NaCl enabled.

But until and even after that day, we want to have explicit control on
whether this extension is enabled.

Please also have a look at these two issues explaining the details
(about component extensions and the hotwording extension in particular):

https://crbug.com/491435
https://crbug.com/500922

Fixes issue #8358.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2015-06-23 03:35:30 +02:00
aszlig
c290595e5b
chromium: Update all channels to latest versions. 
Overview of the updated versions:

stable: 43.0.2357.124 -> 43.0.2357.125
beta:   44.0.2403.39  -> 44.0.2403.52  [1]
dev:    45.0.2421.0   -> 45.0.2431.0   [2]

[1] Beta channel fixes:

    I had to fetch a patch from a newer revision of Blink (r195908), see
    https://codereview.chromium.org/1157943002/ for more information
    about the patch.

    Here is the failing build log:

    https://headcounter.org/hydra/build/704037/nixlog/2

    Another fix for Blink, was needed in order to get it to build,
    see: https://codereview.chromium.org/1156113007/

    Also I needed to revert https://codereview.chromium.org/1150543002/
    using another patch, because the build won't succeed and bail out
    with WEBRTC_VIDEO_CODEC_FALLBACK_SOFTWARE not being found (it's only
    used once in the source, but isn't defined anywhere). Here are the
    trybot results:

    https://chromium-cq-status.appspot.com/patch-status/1150543002/20001

[2] Dev channel fixes:

    The "ffmpegsumo" shared library is now no longer built, because it
    is now statically linked against Chromium, for details see:

    https://codereview.chromium.org/1141703002

All channels built and tested on my Hydra at:

https://headcounter.org/hydra/eval/178458

Test reports:

x86:    https://headcounter.org/hydra/build/704908/download/1/log.html
x86_64: https://headcounter.org/hydra/build/704914/download/1/log.html

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2015-06-23 03:35:30 +02:00
Edward Tjörnhammar
aecc7bd6aa idea updates 
idea.clion: 1.0.3 -> 1.0.4
idea.idea-{community,ultimate}: 14.1.3 -> 14.1.4
idea.pycharm-{community,professional}: 4.5.1 -> 4.5.2
idea.webstorm: 10.0.3 -> 10.0.4
 2015-06-22 20:38:43 +02:00
Eelco Dolstra
c53ed1038c emacs-offlineimap: Mark as broken 
This package has never built:

  http://hydra.nixos.org/job/nixpkgs/trunk/emacsPackages.offlineimap.x86_64-linux/all
 2015-06-22 18:08:16 +02:00
Arseniy Seroka
6881cd2c3a Merge pull request #8435 from flosse/k9copy 
k9copy: init at 3.0.3
 2015-06-22 18:45:52 +03:00
Oliver Charles
fd6600c809 bluejeans: New Mozilla plugin 2015-06-22 14:04:40 +01:00
Tobias Geerinckx-Rice
67f3c77fe6 simple-scan -> 3.17.3 2015-06-22 14:38:34 +02:00
Markus Kohlhase
f50b2e5892 k9copy: init at 3.0.3 2015-06-22 12:34:00 +02:00
Jascha Geerds
51fa682655 hexchat: 2.9.6.1 -> 2.10.2 2015-06-22 12:28:28 +02:00
Jascha Geerds
01e43fcd1d gitflow: 1.7.0 -> 1.8.0 2015-06-22 12:17:50 +02:00
Jascha Geerds
ed4b17bbd8 Merge pull request #8424 from bobvanderlinden/gitcola-2.2.1 
git-cola: update from 2.1.1 to 2.2.1
 2015-06-22 08:42:53 +02:00
Domen Kožar
a6d718c319 Merge pull request #8454 from jb55/obs-studio-fix 
obs-studio: fix regression
 2015-06-22 08:39:27 +02:00
Jascha Geerds
3f66bb7ff2 Add myself as maintainer 2015-06-22 08:26:09 +02:00
Tobias Geerinckx-Rice
655cda730d eagle 6.5.0 -> 6.6.0 
CC @bjornfor:

Version 6.5.0 has disappeared from Cadsoft's FTP site. This is the
closest version that's still available. Not extensively tested, but
works fine here.

Current version is 7.3.0. I leave that to someone more interested.
 2015-06-22 07:13:54 +02:00
William Casarin
bd399f2647 add qt5.x11extras to obs-studio 
fixes build
 2015-06-21 21:20:01 -07:00
Arseniy Seroka
7ed48bff72 Merge pull request #8443 from matthiasbeyer/add-tasknc 
Add package: tasknc
 2015-06-21 15:31:17 +03:00
Matthias Beyer
563167bbe7 tasknc: init at 0.8 2015-06-21 14:22:10 +02:00
Jascha Geerds
ef50db91f7 rtv: Add jgeerds to maintainers 2015-06-21 13:23:38 +02:00
Matthias Beyer
de76ce46e6 rtv: 1.2.2 -> 1.4 2015-06-21 13:22:15 +02:00
Pascal Wittmann
08bdb6fe6d calibre: update from 2.30.0 to 2.31.0 2015-06-21 10:38:32 +02:00
Domen Kožar
2959f193a9 update flash player 
(cherry picked from commit 48b41f0e9524db37f45818f71aa7b55a9c462900)
Signed-off-by: Domen Kožar <domen@dev.si>
 2015-06-21 09:23:06 +02:00
Vincent Laporte
542d20384f Isabelle: fix download URL 2015-06-21 00:45:38 +02:00
Arseniy Seroka
a00d5998da Merge pull request #8417 from kirelagin/update-tabbed 
tabbed: update and add xft patch
 2015-06-20 00:33:29 +02:00
Bob van der Linden
a768954d63 git-cola: update from 2.1.1 to 2.2.1, potentially fixes CVE-2012-0845, CVE-2012-1150, CVE-2014-9365 2015-06-19 23:56:30 +02:00
Bob van der Linden
e315d0599d popcorntime: allow different versions of node_webkit 2015-06-19 23:22:18 +02:00
Bob van der Linden
f2f0d98e53 popcorntime: added support for i686-linux 2015-06-19 23:22:18 +02:00
Bob van der Linden
236f8c720d added popcorntime package 2015-06-19 23:22:18 +02:00
Anders Papitto
4ac7c02d8e Disable i3 tests due to unfixed errors 2015-06-19 12:14:10 -07:00
Kirill Elagin
1bb72a8198 tabbed: update and add xft patch 2015-06-19 21:28:52 +03:00
Domen Kožar
7720c7d75f Merge pull request #8414 from matthiasbeyer/update-hstr 
hstr: update from 1.16 to 1.17
 2015-06-19 20:25:40 +02:00
Matthias Beyer
a80b77890a scim: update from 0.1.8 to 0.1.9 2015-06-19 19:01:47 +02:00
Matthias Beyer
7250ecc44f hstr: update from 1.16 to 1.17 2015-06-19 19:00:02 +02:00
Mateusz Kowalczyk
8c29f2f948 Merge pull request #8396 from mbakke/rofi 
Rofi updates
 2015-06-19 15:25:07 +01:00
Thomas Tuegel
a457d29def Merge pull request #8408 from bendlas/update-dropbox-unstable 
dropbox: 3.4.6 -> 3.6.7
 2015-06-19 07:24:03 -05:00
Eelco Dolstra
d8c9fa5043 Remove meta.license hack 2015-06-19 14:14:52 +02:00
Herwig Hochleitner
ab7c9e49c2 dropbox: 3.4.6 -> 3.6.7 2015-06-19 13:50:42 +02:00
William A. Kennington III
0952b37177 lightdm-gtk-greeter: 2.0.0 -> 2.0.1 2015-06-18 23:04:56 -07:00
William A. Kennington III
c64747c44a mumble: 1.2.8 -> 1.2.9 2015-06-18 22:34:55 -07:00
William A. Kennington III
7fd80890c7 git: 2.4.2 -> 2.4.4 2015-06-18 21:24:46 -07:00
Marcell Vazquez-Chanlatte
d05873a509 bump version of taskwarrior 2.4.0 -> 2.4.4 2015-06-18 23:28:01 -04:00
Marius Bakke
7d79028456 rofi-pass: rename to rofi-pass 2015-06-18 23:32:58 +01:00
Marius Bakke
bb1ea06dd8 rofi 0.15.2 -> 0.15.5 2015-06-18 23:32:58 +01:00
Andrew Kelley
8925d17034 add myself as maintainer 2015-06-18 11:52:39 -07:00
Austin Seipp
a0301e9ce2 nixpkgs: saw-tools 0.1-20150609 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-18 11:37:51 -05:00
goibhniu
43a8793555 Merge pull request #8383 from hrdinka/update/darktable 
darktable: update 1.6.6 -> 1.6.7
 2015-06-18 15:57:50 +02:00
Vladimír Čunát
ddeb2f5cce firefox: fix file-dialogs and icons with gtk3 
There was the usual crashing and a few icons missing.
@lethalman: I think it's best to start putting $XDG_ICON_DIRS into suffix
instead of prefix (as here), so user-installed icons take precedence.

/cc #7743.
 2015-06-18 14:48:41 +02:00
lethalman
da28405ba2 Merge pull request #8263 from robbinch/pkg-dvd-slideshow 
dvd-slideshow: Add package.
 2015-06-18 14:46:48 +02:00
Peter Simons
7e0a7d97b4 Merge pull request #8380 from michelk/R/update 
R: update to 3.2.1
 2015-06-18 14:41:22 +02:00
Cillian de Róiste
fd799c878e setbfree: update from 0.7.5 to 0.8.0 2015-06-18 14:22:17 +02:00
Christoph Hrdinka
fe010d893d darktable: update 1.6.6 -> 1.6.7 2015-06-18 14:13:27 +02:00
Michel Kuhlmann
46d46fd05a R: update to 3.2.1 2015-06-18 14:00:29 +02:00
Andrew Kelley
801a392932 groovebasin: init at 1.5.1 2015-06-18 12:31:17 +02:00
taku0
4e78d76c18 thunderbird-bin: update to version 38.0.1, closes #8357 2015-06-18 11:40:13 +02:00
Christian Theune
b2b7245155 Update syncthing to 0.11.9 2015-06-18 11:19:05 +02:00
lethalman
0622c4a22d Merge pull request #8350 from bobvanderlinden/drive 
added drive package
 2015-06-18 11:09:13 +02:00
Tobias Geerinckx-Rice
4e5e44140b dpkg, x2goclient: fix evaluation 
Bed time.
 2015-06-17 23:25:09 +02:00
Tobias Geerinckx-Rice
98b2d7b727 Separate nativeBuildInputs where maintainers |= nckx 2015-06-17 22:21:32 +02:00
Bob van der Linden
5093fd9cc9 added drive package 2015-06-17 20:13:48 +02:00
Ricardo M. Correia
5ab96e6e2b Merge pull request #8346 from joachifm/electrum-2_3_2 
electrum: 2.0.4 -> 2.3.2
 2015-06-17 02:41:45 +02:00
Pascal Wittmann
f8df92efbe scala-mode2: fix hash 2015-06-16 20:22:55 +02:00
Pascal Wittmann
7d7a5e9f0e add osmo, a handy personal organizer 2015-06-16 20:13:20 +02:00
Jascha Geerds
55227b330f khal: 0.4.0 -> 0.5.0 2015-06-16 15:16:06 +02:00
Jascha Geerds
07cdc40222 Merge pull request #7872 from matthiasbeyer/fix-khal_python 
Fix: khal 0.4.0 does not work with python 3
 2015-06-16 15:06:42 +02:00
Tobias Geerinckx-Rice
82ec18463d Add dfasma 1.0.1: analyse/compare audio files 2015-06-16 03:15:15 +02:00
Tobias Geerinckx-Rice
e8dea0c5c2 fmit -> 1.0.0 2015-06-15 21:34:30 +02:00
Joachim Fasting
18421542f9 electrum: 2.0.4 -> 2.3.2 2015-06-15 15:31:06 +02:00
Peter Simons
82fe884dc0 Merge pull request #8323 from ftrvxmtrx/mpg123-1.22.2 
mpg123: 1.19.0 -> 1.22.2
 2015-06-15 18:24:54 +02:00
Austin Seipp
2dfb657b94 nixpkgs: picosat 936 -> 960, add myself as a maintainer 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:12 -05:00
Austin Seipp
44ef5a3ab0 cvc4: regenerate ./configure on rebuild 
Otherwise some absurd error from ./configure crops up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
da76434dbd nixpkgs: yices 2.2.1 -> 2.3.1, now with source 
It's still under a non-commercial license, but the source build is waay
better than the binary build. Can probably work on OS X too now.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
3d181a3175 nixpkgs: abc-verifier 20150406 -> 20150614 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
6cfc2caaeb nixpkgs/cvc4: touchups, add myself as maintainer 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Henry Till
faa90fad3f mr: update from 1.20141024 to 1.20150503 2015-06-14 22:54:31 +02:00
Jonathan Rudenberg
853e87909f makemkv: 1.9.3 -> 1.9.4 2015-06-14 16:31:29 -04:00