Mauricio Collares
99fed31f9d
Merge pull request #205547 from r-ryantm/auto-update/primecount
...
primecount: 7.4 -> 7.6
2022-12-11 12:33:23 -03:00
Fabian Affolter
ddb2541b8a
primecount: add changelog to meta
2022-12-11 01:14:49 +01:00
Fabian Affolter
6deae326bf
primesieve: add changelog to meta
2022-12-10 23:44:00 +01:00
R. Ryantm
016aaa261d
primesieve: 8.0 -> 11.0
2022-12-10 20:15:07 +00:00
R. Ryantm
d5490032d8
primecount: 7.4 -> 7.6
2022-12-10 20:04:53 +00:00
Sandro
89c4ef4384
Merge pull request #204832 from Luflosi/update/yosys
2022-12-09 10:27:31 +01:00
Sandro
d1f210df8a
Merge pull request #199078 from gdinh/add-timeloop
...
timeloop: init at unstable-2022-10-28 and accelergy: init at unstable-2022-05-03
2022-12-09 09:13:02 +01:00
Grace Dinh
8a23ce4e69
timeloop: init at unstable-2022-11-29
2022-12-08 12:41:22 -08:00
Weijia Wang
fa19b16e93
ecopcr: 0.8.0 -> 1.0.1
2022-12-08 04:35:53 +01:00
Artturi
850fb23aa8
Merge pull request #204214 from wegank/wxgtk30-gtk2-drop
...
treewide: drop wxGTK30-gtk2
2022-12-06 23:28:43 +02:00
Sandro
84c17bc98f
Merge pull request #204330 from jvanbruegge/isabelle-fix-components
2022-12-06 20:46:39 +01:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
2022-12-06 18:58:31 +01:00
Fabian Affolter
7d3c53e6d1
snakemake: rename GitPython
2022-12-05 21:53:53 +01:00
Fabian Affolter
49dc2b7042
streamlit: rename GitPython
2022-12-05 21:53:11 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Nikolay Korotkiy
3332040606
Merge pull request #203029 from sikmir/geogebra
...
geogebra: 5-0-723-0 → 5-0-745-0, geogebra6: 6-0-723-0 → 6-0-745-0
2022-12-04 17:31:30 +04:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
Jan van Brügge
26c369214e
isabelle: use prebuilt z3
...
Isabelle requires this specific version of z3 which is being removed
from nixpkgs due to requiring python2 for its build. We can work around
this by patching the distributed binary
2022-12-03 18:34:13 +00:00
Jan van Brügge
d5299641bb
isabelle: make withComponents function use finalAttrs
...
Before this change
```
(isabelle.overrideAttrs (
/* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
Weijia Wang
eac8b51565
flopoco: init at 4.1.3 ( #200459 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-12-03 05:26:22 +01:00
John Shaffer
9d8767be46
xcircuit: 3.10.12 -> 3.10.37, maintain
2022-12-02 21:57:29 -06:00
Weijia Wang
07cd65bea2
treewide: drop wxGTK30-gtk2
2022-12-03 03:28:32 +01:00
Sandro
e461e83aa7
Merge pull request #191966 from jvanbruegge/isabelle-2022
2022-12-03 00:45:47 +01:00
Pavol Rusnak
85f5d65b7e
Merge pull request #204149 from wegank/viennarna-bump
...
ViennaRNA: 2.4.18 -> 2.5.1, unbreak on aarch64-darwin
2022-12-03 00:23:09 +01:00
Vincent Laporte
188b935b6d
alt-ergo: fix version string
2022-12-03 00:00:05 +01:00
Weijia Wang
df1810c6e8
ViennaRNA: 2.4.18 -> 2.5.1
2022-12-02 18:20:04 +01:00
R. RyanTM
132e60b840
calc: 2.14.1.0 -> 2.14.1.2
...
Also fixed GitHub source url.
2022-12-02 18:02:05 +08:00
Mario Rodas
227de2b3bb
Merge pull request #203387 from wegank/formula-aarch64-linux
...
formula: unbreak on aarch64-linux
2022-11-30 07:02:00 -05:00
Weijia Wang
280b4b8279
root: fix build on aarch64-linux ( #203267 )
2022-11-29 01:41:49 -05:00
Mauricio Collares
9102f78309
Merge pull request #192525 from r-ryantm/auto-update/pari
...
pari: 2.13.4 -> 2.15.1
2022-11-28 20:58:42 -03:00
Jack Gerrits
c5be637c72
vowpal-wabbit: 9.0.1 -> 9.6.0
...
- flatbuffers removed as a dep as the upstream doesn't support installing with flatbuffer support currently and this is an experimental feature
- BUILD_TESTS workaround removed as upstream now properly understands BUILD_TESTING
- `eigen` is a new dependency in this release
- Removed `USE_LATEST_STD` as it was causing an ICE in clang when building on an m1 macbook and it is not strictly necessary for the package
2022-11-29 00:02:14 +08:00
Mauricio Collares
40fddeb8fc
giac: mark as broken on aarch64-darwin
2022-11-28 09:33:10 -03:00
Weijia Wang
31dae4a6c0
formula: unbreak on aarch64-linux
2022-11-28 02:56:13 +01:00
Sandro
853077236a
Merge pull request #202124 from SuperSandro2000/dbus-passthru-daemon
2022-11-28 01:35:34 +01:00
Mauricio Collares
3b258a60a6
sage: import pari 2.15.1 update patch
2022-11-27 20:39:59 -03:00
R. Ryantm
081289609e
pari: 2.13.4 -> 2.15.1
2022-11-27 20:39:59 -03:00
Robert Scott
d2504ace98
Merge pull request #203249 from aaronjheng/streamlit
...
streamlit: 1.13.0 -> 1.15.0
2022-11-27 23:10:22 +00:00
Mauricio Collares
dad9d4f76e
Merge pull request #203170 from jiegec/pari
...
pari: unbreak on aarch64-darwin
2022-11-27 15:15:19 -03:00
Aaron Jheng
8bed9cc42f
streamlit: 1.13.0 -> 1.15.0
2022-11-27 12:57:33 +00:00
Jiajie Chen
91e59727c0
pari: unbreak on aarch64-darwin
2022-11-27 09:39:27 +08:00
K900
420fd2d25b
graphia: 3.1 -> 3.2
2022-11-26 15:49:07 +03:00
Nikolay Korotkiy
bb92198f4c
geogebra6: 6-0-723-0 → 6-0-745-0
2022-11-26 14:17:44 +03:00
Nikolay Korotkiy
5b4bf09237
geogebra6: fix the meta data to allow autoupdate
...
Resolve #188260
2022-11-26 13:58:19 +03:00
Nikolay Korotkiy
ec635b51d6
geogebra: 5-0-723-0 → 5-0-745-0
2022-11-26 13:39:52 +03:00
Robert Schütz
be1fe08f79
surelog: use latest OpenJDK
...
OpenJDK 11 depends on Python 2.
2022-11-25 20:10:49 -08:00
Sandro
bf8865dc28
Merge pull request #198871 from wegank/aspino-aarch64-darwin
2022-11-25 20:12:58 +01:00
Weijia Wang
c00ddaf144
aspino: remove patchShebangs
2022-11-25 16:48:27 +01:00
Weijia Wang
fc653e9de0
avy: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
ee09ecaca2
glucose: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
