Claudio Bley
0f6b8b7964
fritzing: 0.9.3b -> 0.9.4
...
Notes:
* fritzing still needs an older version of libgit2
* releases no longer directly correspond to tags in the git repository, they are
using build numbers instead
* the fritzing-parts repository is no longer versioned at all, the master branch
contains the latest stable release
* a `parts.db` file needs to be generated from the fritzing-parts files during
the build
2020-10-11 16:51:59 -07:00
Matt Huszagh
937c2597d9
ngspice: 31 -> 32
2020-10-11 16:10:33 +02:00
Wulfsta
77143fc628
mathematica: fix libQt errors
2020-10-11 15:49:11 +02:00
Gabriel Ebner
b03c6ef37d
Merge pull request #99503 from NieDzejkob/isabelle-z3-fix
2020-10-11 12:39:09 +02:00
Doron Behar
967a01f206
Merge pull request #100065 from matthuszagh/kicad
2020-10-10 12:28:09 +03:00
Daniel Schaefer
384470e23f
Merge pull request #99964 from guserav/horizon-eda
...
horizon-eda: init at 1.2.1
2020-10-10 11:49:07 +08:00
guserav
6a4c1972a2
horizon-eda: init at 1.2.1
...
Mostly based on #86694 by yrashk
2020-10-09 19:57:38 +02:00
Matt Huszagh
104aca941a
kicad-unstable: 2020-08-22 -> 2020-10-09
...
base.nix requires gtk3 to compile
2020-10-09 07:36:42 -07:00
Matt Huszagh
b67afd8a44
kicad: modify update script to use gitlab for libraries
...
Kicad libraries are now hosted on gitlab instead of github.
2020-10-09 07:36:41 -07:00
Dmitry Kalinkin
b0486f3171
pythia: 8.244 -> 8.303
2020-10-07 20:28:19 -04:00
Ben Darwin
e673c285e1
conglomerate: update LIBMINC_DIR to reflect libminc CMake changes
2020-10-06 15:31:18 -04:00
Ben Darwin
44f2bf87d6
EZminc: update LIBMINC_DIR to reflect libminc CMake changes
2020-10-06 15:31:18 -04:00
Ben Darwin
83d0571ae6
mni_autoreg: update LIBMINC_DIR due to CMake changes in libminc
2020-10-06 15:31:17 -04:00
Ben Darwin
9a190786a4
n3: 2017-09-18 -> 2018-08-09
...
- update LIBMINC_DIR and EBTKS_DIR due to CMake updates in those packages
2020-10-06 15:31:16 -04:00
Ben Darwin
7772e248ab
inormalize: update LIBMINC_DIR and dependencies due to libminc update
2020-10-06 15:31:16 -04:00
Ben Darwin
91a429a148
minc_tools: unstable-2019-12-04 -> unstable-2020-07-25
2020-10-06 15:31:14 -04:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle
2020-10-03 21:32:22 +02:00
Anderson Torres
5e99485b3d
Merge pull request #99214 from bcdarwin/update-mrtrix
...
mrtrix: 3.0.0 -> 3.0.2
2020-10-01 01:14:54 -03:00
Ben Darwin
a94d0fe675
mrtrix: 3.0.0 -> 3.0.2
2020-09-30 22:13:18 -04:00
Vincent Laporte
cc739e1c67
ocamlPackages.z3: init at 4.8.9
2020-09-30 22:03:17 +02:00
Dmitry Kalinkin
dd57dcf2a5
stellarium: enable on darwin
2020-09-27 17:00:10 -04:00
Maximilian Bosch
b8d1e39a28
stellarium: 0.20.2 -> 0.20.3
...
https://github.com/Stellarium/stellarium/releases/tag/v0.20.3
2020-09-27 22:09:36 +02:00
Matt Huszagh
6b9481607b
openems: init at unstable-2020-02-15
2020-09-27 11:32:27 -07:00
Robert Scott
8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn
...
aragorn: fix build on darwin
2020-09-25 19:58:10 +01:00
Dmitry Kalinkin
7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog
...
verilog: cleanup & test
2020-09-25 10:37:34 -04:00
R. RyanTM
e66a7e2fb7
cytoscape: 3.8.0 -> 3.8.1
2020-09-25 04:38:49 +00:00
R. RyanTM
0765b507f9
jmol: 14.31.2 -> 14.31.3
2020-09-23 23:36:41 -07:00
Ryan Burns
6cc2d3e6f2
aragorn: fix build on darwin
...
Use environment-specified $CC for C compiler
2020-09-23 20:45:21 -07:00
Ryan Mulligan
dfd2eeabd6
Merge pull request #69644 from bzizou/obitools
...
obitools3: init at 3.0.0-beta14
2020-09-23 19:04:11 -07:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3
...
why3: 1.3.1 -> 1.3.3
2020-09-23 10:35:57 +03:00
Daniël de Kok
af5b1a9f94
Merge pull request #98427 from jbedo/octopus
...
octopus-caller: 0.6.3 -> 0.7.0
2020-09-23 08:24:10 +02:00
Jon
c7fdc43709
Merge pull request #98283 from risicle/ris-truvari-2.0.2
...
truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build
2020-09-22 23:10:58 -07:00
Robert Scott
fc709e6dfe
cvc3: enable for darwin
...
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac
cvc3: fix build against bison 3.7
...
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy
...
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3
2020-09-23 03:24:02 +02:00
Drew Risinger
ba886f7b1a
verilog: add tests
...
Run recommended self-tests from iverilog's CI.
Tests add about a minute to the build time on local machine
(2 -> 3 mins).
2020-09-22 13:58:15 -04:00
Drew Risinger
0d9a6e2da5
verilog: cleanup
...
Meta attributes were out of date or not in current style,
and some attributes of derivation were redundant.
2020-09-22 13:58:06 -04:00
Justin Bedo
4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0
2020-09-22 08:43:04 +10:00
sohalt
40722346b8
avy: 2017.10.16 -> 2019.05.01
2020-09-20 16:13:29 +02:00
Robert Scott
ecd5886830
truvari: 1.3.4 -> 2.0.2, fixing build
...
seeing it has no tests, use pythonImportsCheck in an attempt to detect
total breakage, even though it's not intended to be used as an importable
module
2020-09-20 12:25:17 +01:00
Robert Scott
f1d2491057
bwa: include static library and some key headers in output
2020-09-20 12:23:18 +01:00
Gabriel Ebner
efa2089077
Merge pull request #89731 from doronbehar/jdk_rename
2020-09-20 11:07:55 +02:00
Robert Scott
4637721bc1
truvari: fix build
...
be less strict about versions
2020-09-19 20:25:08 -07:00
Gabriel Ebner
67ff41201f
leo3: fix executable
2020-09-19 15:05:02 +02:00
Gabriel Ebner
1c576d0b37
sage: use jdk8
2020-09-19 14:22:43 +02:00
Hannes Weisbach
9c73e34d18
kicad: remove gettext from buildInputs, add to nativeBuildInputs
...
The i18n "library" does not link against gettext. It only requires the
msgfmt utility from gettext, hence gettext should be a nativeBuildInput
2020-09-17 19:48:50 +02:00
Vladyslav M
9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit
...
streamlit: fix build
2020-09-16 23:45:32 +03:00
Austin Seipp
f1f1396167
Merge pull request #98109 from Pamplemousse/verilator
...
verilator: 4.040 -> 4.100
2020-09-16 14:25:25 -05:00
Pamplemousse
9839c0b292
verilator: 4.040 -> 4.100
...
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
2020-09-16 08:40:01 -07:00