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

8693 Commits

Author SHA1 Message Date
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
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
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
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
Vincent Laporte
b0d34692a2
Merge pull request #275608 from proux01/coq_8_19 
coq_8_19: init at 8.19+rc1
 2023-12-20 11:06:56 +01:00
R. Ryantm
b297165efd cvc5: 1.0.8 -> 1.0.9 2023-12-20 08:10:00 +00:00
Justin Bedő
7dcf6462dd
Merge pull request #275350 from r-ryantm/auto-update/last 
last: 1518 -> 1519
 2023-12-20 10:04:19 +11:00
Pierre Roux
d77d8f69f7 coq_8_19: init at 8.19+rc1 2023-12-19 14:41:20 +01:00
R. Ryantm
0ecf097e92 last: 1518 -> 1519 2023-12-19 07:59:25 +00:00
OTABI Tomoya
bda147b4f6
Merge pull request #273915 from r-ryantm/auto-update/bcftools 
bcftools: 1.18 -> 1.19
 2023-12-19 15:57:58 +09:00
OTABI Tomoya
b04bd65c5b
Merge pull request #274736 from r-ryantm/auto-update/magic-vlsi 
magic-vlsi: 8.3.449 -> 8.3.453
 2023-12-19 15:51:26 +09:00
Emily
17e365438e
Merge pull request #274363 from r-ryantm/auto-update/gatk 
gatk: 4.4.0.0 -> 4.5.0.0
 2023-12-18 18:46:35 +01:00
Vincent Laporte
1791eeb7bd cgal: default to version 5 2023-12-18 18:18:00 +01:00
Phillip Seeber
1d2d308e2e avogadro2: 1.97.0 -> 1.98.1 2023-12-18 14:21:12 +01:00
R. Ryantm
8a034b1227 nnpdf: 4.0.6 -> 4.0.7 2023-12-18 04:59:18 -05:00