alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
433686 commits 217 branches 116 tags 4 GiB
Commit graph

6861 commits

Author SHA1 Message Date
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
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
Weijia Wang 017015a82b aspino: fix build 2022-11-25 16:48:03 +01:00
Bobby Rong e34bc8cc1a
Merge pull request #198055 from jdupak/master 
QtRVSim: 0.9.3 -> 0.9.4
 2022-11-25 22:50:43 +08:00
Bobby Rong 4315ef82eb
Merge pull request #202657 from 4825764518/master 
qalculate-qt: update supported platforms
 2022-11-25 21:51:45 +08:00
R. Ryantm d9af397634 cbmc: 5.70.0 -> 5.71.0 2022-11-25 08:37:13 +00:00
Jonas Heinrich 20193b6d86
Merge pull request #202395 from thyol/muscle 
muscle: 3.8.31 -> 5.1.0
 2022-11-24 15:47:12 +01:00
Guillaume Girol 6f9188b26b
Merge pull request #201759 from collares/giac-1.9.0.29 
giac: 1.9.0-5 -> 1.9.0-29
 2022-11-24 14:16:03 +00:00
Jonas Heinrich 57728b51cf
Merge pull request #202404 from thyol/veryfasttree 
veryfasttree: init at 3.1.1
 2022-11-24 15:14:13 +01:00
Sandro 2ca694f473
Merge pull request #198552 from wegank/wxgtk-games 2022-11-24 14:21:25 +01:00
4825764518 9c363bae16
qalculate-qt: update supported platforms 2022-11-24 05:37:05 -05:00