dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
566,826 Commits 3 Branches 0 Tags 4.3 GiB
df7e726af0
Commit Graph

8704 Commits

Author SHA1 Message Date
Weijia Wang
864ba7fd57
Merge pull request #277673 from r-ryantm/auto-update/phd2 
phd2: 2.6.12 -> 2.6.13
 2024-01-05 00:59:42 +01:00
Weijia Wang
7fabb43469
Merge pull request #278422 from r-ryantm/auto-update/dataexplorer 
dataexplorer: 3.8.0 -> 3.8.3
 2024-01-04 21:13:06 +01:00
Nick Cao
6a98d1fe8b
Merge pull request #278630 from r-ryantm/auto-update/wxmacmolplt 
wxmacmolplt: 7.7.2 -> 7.7.3
 2024-01-04 11:08:27 -05:00
Weijia Wang
516a83e137
Merge pull request #277269 from r-ryantm/auto-update/tulip 
tulip: 5.7.2 -> 5.7.3
 2024-01-04 13:15:06 +01:00
Weijia Wang
6ebf3f2c5c
Merge pull request #278628 from r-ryantm/auto-update/uarmsolver 
uarmsolver: 0.2.5 -> 0.2.6
 2024-01-04 13:11:15 +01:00
R. Ryantm
babf9e08bf wxmacmolplt: 7.7.2 -> 7.7.3 2024-01-04 05:15:19 +00:00
R. Ryantm
f1e6479489 uarmsolver: 0.2.5 -> 0.2.6 2024-01-04 05:06:17 +00:00
Weijia Wang
553ccf3dfe tulip: fix build on darwin 2024-01-03 22:16:58 +01:00
Weijia Wang
ac32817df9
Merge pull request #277227 from r-ryantm/auto-update/cvc5 
cvc5: 1.0.9 -> 1.1.0
 2024-01-03 19:34:52 +01:00
Weijia Wang
a9c97eaee7
Merge pull request #276101 from r-ryantm/auto-update/delly 
delly: 1.1.8 -> 1.2.6
 2024-01-03 18:29:26 +01:00
Weijia Wang
2f787a3dfe
Merge pull request #274004 from r-ryantm/auto-update/celestia 
celestia: 1.6.3 -> 1.6.4
 2024-01-03 16:30:30 +01:00
Weijia Wang
aa604af269
Merge pull request #273163 from r-ryantm/auto-update/qgroundcontrol 
qgroundcontrol: 4.2.9 -> 4.3.0
 2024-01-03 15:47:07 +01:00
Weijia Wang
b9384442f0
Merge pull request #272422 from r-ryantm/auto-update/gretl 
gretl: 2023b -> 2023c
 2024-01-03 14:40:11 +01:00
R. Ryantm
025e631d48 dataexplorer: 3.8.0 -> 3.8.3 2024-01-03 06:00:29 +00:00
Weijia Wang
ec07157196
Merge pull request #275873 from fedeinthemix/wip-xyce-7.8 
xyce: 7.7.0 -> 7.8.0
 2024-01-03 02:18:54 +01:00
Mauricio Collares
24954c2e73
Merge pull request #278257 from nevivurn/fix/sage-ecl 
sage: import 10.2.beta3 patches
 2024-01-02 13:18:11 -03:00
Yongun Seong
2c045c7890
sage: import 10.2.beta3 patches 
- fix for ecl >= 23.9.9
- fix for python >= 3.11
 2024-01-02 23:04:53 +09:00
R. Ryantm
61721a17e7 pspp: 1.6.2 -> 2.0.0 2024-01-02 06:35:29 +00:00
R. Ryantm
e79af9e68d eigenmath: unstable-2023-12-12 -> unstable-2023-12-31 2023-12-31 20:08:50 +00:00
Lucas Van Laer
696735c9d2 z3_4_12: 4.12.2 -> 4.12.4 2023-12-31 14:12:54 +01:00
R. Ryantm
2aa11b0ee6 phd2: 2.6.12 -> 2.6.13 2023-12-30 07:01:45 +00:00
Mario Rodas
d22c786ac9
Merge pull request #276424 from kilianar/stellarium-23.4 
stellarium: 23.3 -> 23.4
 2023-12-29 14:13:31 -05:00
Bobby Rong
c198051feb
Merge pull request #277435 from trofi/picoscope.rules-fix-eval 
picoscope: fix `rules` eval
 2023-12-29 21:40:07 +08:00
Sergei Trofimovich
41941e7cf3 picoscope: fix rules eval 
Without the change `picoscope.rules` failed to evaluate due to wrong
attribute path:

    $ nix build --no-link -f. picoscope.rules
    error: attribute 'writeTextDir' missing
              116|   # users.users.you.extraGroups = [ "pico" ];
              117|   passthru.rules = lib.writeTextDir "lib/udev/rules.d/95-pico.rules" ''
                 |                    ^
 2023-12-28 23:20:14 +00:00
Nick Cao
684dbecf47
Merge pull request #277028 from r-ryantm/auto-update/magic-vlsi 
magic-vlsi: 8.3.453 -> 8.3.454
 2023-12-28 13:37:37 -05:00
R. Ryantm
c777f0bfa7 tulip: 5.7.2 -> 5.7.3 2023-12-28 07:46:06 +00:00
R. Ryantm
feadff003e cvc5: 1.0.9 -> 1.1.0 2023-12-28 02:05:44 +00:00
Fabián Heredia Montiel
48d1e73d8b
Merge pull request #276854 from r-ryantm/auto-update/cadical 
cadical: 1.9.1 -> 1.9.3
 2023-12-26 23:29:49 -06:00
R. Ryantm
4d2e0e140d magic-vlsi: 8.3.453 -> 8.3.454 2023-12-27 03:17:28 +00:00
Mario Rodas
1c0dab4a37
Merge pull request #276940 from tejing1/cleanup-lean4 
lean4: clean up colliding files
 2023-12-26 17:49:35 -05:00
Jeff Huffman
b3a184a4aa
lean4: clean up colliding files 2023-12-26 16:13:31 -05:00
Mario Rodas
126fcb5e99
Merge pull request #275586 from r-ryantm/auto-update/cvc5 
cvc5: 1.0.8 -> 1.0.9
 2023-12-26 16:02:43 -05:00
R. Ryantm
c4a88ae424 cadical: 1.9.1 -> 1.9.3 2023-12-26 05:17:29 +00:00
R. Ryantm
4c5759ed4a wxmaxima: 23.11.0 -> 23.12.0 2023-12-26 02:24:50 +00:00
Doron Behar
a90c911ba6
Revert "gwyddion: mark as broken" 2023-12-25 14:19:34 +00:00
Markus Kowalewski
2058c3a373 lammps: fix homepage and license 2023-12-24 23:05:00 +01:00
kilianar
ec2daea6e2 stellarium: 23.3 -> 23.4 
https://github.com/Stellarium/stellarium/releases/tag/v23.4
 2023-12-24 10:08:44 +01:00
Fabián Heredia Montiel
8f080df5b7
Merge pull request #276231 from r-ryantm/auto-update/samtools 
samtools: 1.18 -> 1.19
 2023-12-24 01:50:02 -06:00
Nick Cao
c66be39e13
Merge pull request #276240 from r-ryantm/auto-update/seqkit 
seqkit: 2.6.0 -> 2.6.1
 2023-12-23 10:53:39 -05:00
Nick Cao
e5e39db8d3
Merge pull request #276190 from r-ryantm/auto-update/qtrvsim 
qtrvsim: 0.9.5 -> 0.9.6
 2023-12-23 10:47:30 -05:00
Andreas Rammhold
d7821df52c
Merge pull request #275710 from andir/xflr5-fetchsvn 
xflr5: use fetchsvn instead of fetchzip
 2023-12-23 13:43:36 +01:00
R. Ryantm
02ddd820f8 seqkit: 2.6.0 -> 2.6.1 2023-12-23 08:17:11 +00:00
R. Ryantm
d4211ea181 samtools: 1.18 -> 1.19 2023-12-23 06:46:26 +00:00
R. Ryantm
541e9020e9 qtrvsim: 0.9.5 -> 0.9.6 2023-12-23 03:21:44 +00:00
R. Ryantm
eb84f26482 delly: 1.1.8 -> 1.2.6 2023-12-22 18:36:25 +00:00
R. Ryantm
5098005a85 lean4: 4.3.0 -> 4.4.0 2023-12-22 06:12:02 +00:00
Federico Beffa
a596167020 xyce: 7.7.0 -> 7.8.0 2023-12-21 19:37:28 +01:00
OTABI Tomoya
9db0d0a0ec
Merge pull request #274810 from r-ryantm/auto-update/messer-slim 
messer-slim: 4.0.1 -> 4.1
 2023-12-21 10:58:25 +09:00
Guillaume Maudoux
26241b6458
Merge pull request #274496 from whonore/update-dafny-4.4.0 
dafny: 4.3.0 -> 4.4.0
 2023-12-20 23:29:29 +01:00
Andreas Rammhold
9eb6350536 xflr5: use fetchsvn instead of fetchzip 
The Sourceforge ZIP URLs aren't stable. They (sometimes?) disappear
and throw 404. Probably until someone requests the file to be
generated from the UI. This made the build of xflr5 fail. By using the
SVN checkout we should be on the safer side.
 2023-12-20 20:04:46 +01:00