Robert Scott
|
b5dfa01e67
|
degate: init at 2.0.0
|
2024-01-08 19:03:02 +00:00 |
|
R. Ryantm
|
8a8c1f22a3
|
verilator: 5.018 -> 5.020
|
2024-01-06 20:39:51 -06:00 |
|
Weijia Wang
|
a1648566d0
|
Merge pull request #278952 from wegank/gtksheet-init
lepton-eda: 1.9.17-20211219 -> 1.9.18-20220529
|
2024-01-07 01:51:06 +01:00 |
|
Felix Buehler
|
63f5f08857
|
python311Packages.zope-*: rename from zope_*
|
2024-01-06 21:04:16 +01:00 |
|
Weijia Wang
|
b813f7f148
|
lepton-eda: 1.9.17-20211219 -> 1.9.18-20220529
|
2024-01-05 17:36:26 +01:00 |
|
R. Ryantm
|
9ed34e2ec3
|
nvc: 1.11.1 -> 1.11.2
|
2024-01-05 08:38:36 +00:00 |
|
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 |
|