Eshin Kunishima
8b07461072
myrica: init at 2.011.20160403
2017-12-17 04:14:53 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
...
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829
drat-trim: init at 2017-08-31
...
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work. It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Orivej Desh
b56e3f7125
Merge pull request #32716 from rehno-lindeque/pgbouncer-1.7.2
...
pgbouncer: init at 1.7.2
2017-12-17 00:01:37 +00:00
Rehno Lindeque
5eed143036
pgbouncer: init at 1.7.2
2017-12-16 23:57:31 +00:00
Orivej Desh
2f44fbc786
Merge pull request #32696 from yegortimoshenko/ccd2iso/init
...
ccd2iso: init at 0.3
2017-12-16 22:43:46 +00:00
Yegor Timoshenko
f06c031173
ccd2iso: init at 0.3
2017-12-16 22:41:50 +00:00
Gabriel Ebner
0e37c90d88
biber: add missing dependencies
2017-12-16 14:44:06 +01:00
John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08:00
Orivej Desh
dc89304d4d
Merge pull request #32733 from jtojnar/pinentry-1.1
...
pinentry: 1.0.0 → 1.1.0
2017-12-16 03:54:50 +00:00
Jan Tojnar
bd0d521774
pinentry: override pinentry_ncurses instead of the other way around
2017-12-16 04:39:29 +01:00
Jan Tojnar
ba67110de3
pinentry_qt: merge into pinentry
2017-12-16 03:26:30 +01:00
Rok Garbas
15d3d68a5e
Reverting #32599
2017-12-15 21:52:49 +01:00
Peter Hoeg
da864e5976
libva-utils: init at 2.0.0
2017-12-15 20:57:17 +01:00
Jörg Thalheim
5687f61b19
Merge pull request #32637 from makefu/pkgs/openstack/nuke
...
nuke openstack (again)
2017-12-15 10:06:23 -08:00
Gabriel Ebner
101b4ec546
biber: 2.5 -> 2.7
...
Fixes #32715 .
2017-12-15 19:02:28 +01:00
Matthias Beyer
826e8a2a3b
smenu: init at 0.9.10
2017-12-15 17:09:27 +01:00
makefu
269d8a17b5
openstack module: rip
...
part of openstack cleanup
2017-12-15 16:08:38 +01:00
makefu
7d5692c9ed
neutron: rip
...
part of openstack cleanup
2017-12-15 16:08:37 +01:00
makefu
71767ee3c7
glance: rip
...
part of openstack cleanup
2017-12-15 16:08:10 +01:00
makefu
d3d94992cf
keystone: rip
...
part of openstack cleanup
2017-12-15 16:06:44 +01:00
Graham Christensen
13d80cbab4
Merge pull request #32697 from yrashk/camlistore-perkeep
...
camlistore: 0.9 -> perkeep 20170505
2017-12-15 08:04:34 -05:00
Antoine Eiche
df40f4371d
cassandra: 3.0.9 -> 3.11.1 release
...
We still keep the 3.0.9 attribute to have a stable 3.x release.
2017-12-15 11:28:12 +01:00
John Wiegley
2e93f93b2a
z3_4_5_0: New expression, to access the release version's API
2017-12-14 23:32:37 -08:00
John Wiegley
d1532bc6c6
coqPackages.category-theory: New expression
2017-12-14 23:32:37 -08:00
John Wiegley
0042a343b4
coqPackages.coq-haskell: New expression
2017-12-14 23:32:37 -08:00
Yurii Rashkovskii
13b30b26ad
camlistore: 0.9 -> perkeep 20170505
...
camlistore has been renamed to perkeep
2017-12-15 04:24:18 +00:00
Jörg Thalheim
0d9343bd4e
Merge pull request #32668 from dtzWill/feature/retdec
...
retdec: init at 3.0(.0)
2017-12-14 13:38:36 -08:00
Jörg Thalheim
26012087e9
Merge pull request #32611 from cransom/gitless
...
gitless: init at 0.8.5
2017-12-14 11:58:01 -08:00
Orivej Desh
9f5b8aaec4
thefuck: 3.18 -> 3.25
...
Fixes #32670
2017-12-14 17:31:25 +00:00
Franz Pletz
2754d1a8c3
xmr-stak module: init
2017-12-14 16:03:09 +01:00
Franz Pletz
e520a8cc0d
hwloc: 1.11.6 -> 1.11.8
...
Also introduces multiple outputs and a version without X11 dependencies.
2017-12-14 16:03:09 +01:00
Will Dietz
31ea4edf00
retdec: init at 3.0(.0)
2017-12-14 08:50:47 -06:00
Orivej Desh
502bc9b524
Merge pull request #32646 from dotlambda/cutemaze
...
cutemaze: init at 1.2.1
2017-12-14 14:38:22 +00:00
Hoàng Xuân Phú
d481f9aea1
terraform: set default version to 0.11 ( #32652 )
2017-12-14 14:04:42 +00:00
Robert Schütz
c8880764fb
cutemaze: init at 1.2.1
2017-12-14 11:37:28 +00:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
...
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Casey Ransom
b401087dff
gitless: init at 0.8.5
2017-12-13 20:45:33 -05:00
Robert Schütz
cc8254ae9b
recoverjpeg: init at 2.6.1
2017-12-13 23:56:02 +01:00
makefu
5369400bb0
nova: rip
...
part of openstack cleanup
2017-12-13 18:16:29 +01:00
Michael Raskin
04d3d19158
Merge pull request #32614 from jtojnar/empathy
...
empathy: re-init
2017-12-12 21:16:19 +00:00
Jan Tojnar
779a0388fc
gnome3.empathy: re-init at 3.12.14
2017-12-12 21:29:07 +01:00
Sarah Brofeldt
8f8b9f1a50
Merge pull request #32597 from Enzime/add/syncplay
...
Add syncplay 1.5.0
2017-12-12 20:54:11 +01:00
Michael Hoang
a1ab4788dd
syncplay: init at 1.5.0
2017-12-13 00:06:12 +11:00
Pierre-Étienne Meunier
4348b7f2d0
carnix: init at 0.5.0
...
fixes #31150
2017-12-12 04:59:12 -06:00
Pierre-Étienne Meunier
5a0d954156
add buildRustCrate function to build rust crates
2017-12-12 04:58:45 -06:00
Pierre-Étienne Meunier
ea232fe29d
add fetchCrate function to fetch rust crates
2017-12-12 04:58:45 -06:00
Joachim F
90accc093e
Merge pull request #32216 from LumiGuide/networkmanager-strongswan
...
networkmanager_strongswan: fix package
2017-12-11 23:26:21 +00:00
Joachim F
e5d35342b8
Merge pull request #32368 from rvl/saxons
...
New versions of Saxon XSLT Processor
2017-12-11 23:24:47 +00:00
Tuomas Tynkkynen
bedc18c461
U-Boot: Add ubootQemuArm
2017-12-12 01:16:10 +02:00
