Samuel Dionne-Riel
7b97c8c0c8
treewide: homepage+src updates (found by repology, #33263 )
2018-01-05 20:42:46 +01:00
Austin Seipp
ebeb95d18b
z3: 4.5.0-2017-11-06 -> 4.6.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging
...
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
2017-12-31 09:53:49 +01:00
Orivej Desh
e87a82b010
cntk: mark as broken
...
It never succeeded to build. @abbradar did not respond at
94dc37d622
2017-12-31 08:14:14 +00:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant
...
Make cross compilation elegant
2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d
treewide: Don't use envHook anymore
...
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb
tamarin-prover: enable tests
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3
nixpkgs: add sapic as a dependency to tamarin-prover
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589
nixpkgs: init sapic 0.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739
nixpkgs: add 'graphviz' to tamarin-prover dependencies
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 18:23:15 -06:00
David Asabina
810ec3f8bd
bitscope: init at 2017-12-28
2017-12-30 21:58:27 +01:00
Frederik Rietdijk
2d0bead714
Merge remote-tracking branch 'upstream/master' into HEAD
2017-12-30 17:04:54 +01:00
Orivej Desh
77cc63950a
wxmaxima: build with cmake
...
Fixes reported version number: see
https://github.com/NixOS/nixpkgs/pull/31657#issuecomment-354414642
"make check" did not run any tests with autotools, and is not defined with
cmake. ("make test" is not defined too.)
2017-12-29 21:00:03 +00:00
Vladimír Čunát
f29000b002
Merge branch 'master' into staging
...
Hydra: ?compare=1421760
2017-12-29 10:13:33 +01:00
Robin Gloster
ee1c85aee9
mariadb: lib -> connector-c
2017-12-29 02:18:35 +01:00
Nick Hu
8640e286b4
fdr: 4.2.0 -> 4.2.3
2017-12-29 02:01:31 +01:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide
2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593
Specify the coq version in a more consistent location
2017-12-21 01:24:35 -08:00
Justin Bedo
a49c91f655
snpeff: 4.3p -> 4.3t
2017-12-21 10:52:26 +11:00
Vincent Laporte
4c454a3208
coq: minor cleaning
2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b
drat-trim: fix build on darwin
2017-12-17 13:19:34 +00:00
Orivej Desh
fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad
...
kicad: init unstable at version 2017-12-11
2017-12-17 05:03:29 +00:00
Orivej Desh
c780dba59c
kicad: show version
2017-12-17 05:02:51 +00:00
Orivej Desh
f314157041
kicad-unstable: set version
2017-12-17 04:49:00 +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
Bert Moens
5e0344dce9
kicad: add support for oce, ngspice and scripting
2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599
kicad: add unstable version
2017-12-17 00:10:28 +00:00
Vincent Laporte
12c5fe3e2d
ocamlPackages.cairo2: 0.4.6 -> 0.5
2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08: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
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
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
...
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27
2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging
2017-12-09 21:00:07 +01:00
markuskowa
66da9b9f8f
gpredict: init at 1.3 ( #32436 )
2017-12-09 09:45:29 +00:00
Vladimír Čunát
6f5d989478
treewide: checkMeta fixes for x86_64-linux
2017-12-07 07:50:47 -05:00
Orivej Desh
9f8ec7e4d3
stp: disable parallel building
2017-12-07 08:52:42 +00:00
Orivej Desh
812e0bced1
shogun: fix parallel building
2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746
nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove
2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242
glucose-syrup: Remove unused fetchurl argument
2017-12-01 21:13:21 -08:00
Jörg Thalheim
ae096444a2
simgrid: 3.15 -> 3.17 ( #32114 )
...
* simgrid: 3.15 -> 3.17 + clean + add options
* Add myself as maintainer
* Fix typo
2017-12-01 22:14:24 +00:00
Orivej Desh
1f99fd6965
libminc: fix build after hdf5 upgrade by using hdf5_1_8
2017-12-01 00:37:29 +00:00
Peter Simons
b0f82f0f2d
R: update to 3.4.3
2017-11-30 18:45:48 +01:00
MERCIER Michael
42ec4556bd
Fix typo
2017-11-28 13:13:01 +01:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4
2017-11-27 17:00:15 +00:00
MERCIER Michael
8fa00adf1a
Add myself as maintainer
2017-11-27 17:58:49 +01:00
MERCIER Michael
0cace1fbd2
simgrid: 3.15 -> 3.17 + clean + add options
2017-11-27 17:50:25 +01:00
