alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
393076 commits 217 branches 121 tags 4.5 GiB
Commit graph

6306 commits

Author SHA1 Message Date
Mauricio Collares b394165a8a lean: 3.44.0 -> 3.44.1 2022-07-21 12:52:30 -03:00
Mauricio Collares f1fe61ba70 lean: 3.43.0 -> 3.44.0 2022-07-21 12:52:30 -03:00
Artturin 6b8c65acd9 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 2022-07-19 17:47:13 +03:00
Vladimír Čunát 250922fd1e
Merge branch 'master' into staging-next 2022-07-18 08:29:53 +02:00
7c6f434c 03eff4d99f
Merge pull request #178456 from collares/eclib-20220621 
eclib: 20210625 -> 20220621
 2022-07-18 04:46:58 +00:00
7c6f434c 2a41e4f33c
Merge pull request #181071 from collares/nauty-2.7r4 
nauty: 2.7r3 -> 2.7r4
 2022-07-18 04:46:35 +00:00
Sandro e59f65caf8
Merge pull request #163964 from yuuyins/strictdoc 
strictdoc: init at 0.0.26
 2022-07-17 16:45:12 +02:00
K900 0ff0b14968 treewide: more cmake rpath fixups 2022-07-17 17:42:15 +03:00
yuu 7b560da1dc
strictdoc: init at 0.0.26 
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
Co-authored-by: Jonathan Ringer <jonringer117@gmail.com>
 2022-07-16 19:19:32 -03:00
Vladimír Čunát 0879ac5da6
Merge branch 'master' into staging-next 2022-07-16 20:07:05 +02:00
Ben Siraphob 68c9333eb4
Merge pull request #176321 from siraben/smtcoq-fix 2022-07-16 09:27:57 -07:00
Ben Siraphob 49414ca907
Merge pull request #181622 from siraben/formula-mainprogram 2022-07-16 08:54:08 -07:00
Mario Rodas 279e1daf20
Merge pull request #180821 from r-ryantm/auto-update/nextinspace 
nextinspace: 2.0.3 -> 2.0.5
 2022-07-16 09:46:22 -05:00
Mario Rodas ce3b7f17e6
Merge pull request #181078 from r-ryantm/auto-update/gmsh 
gmsh: 4.10.4 -> 4.10.5
 2022-07-16 09:13:37 -05:00
Lassulus 01853c3bcc
Merge pull request #174547 from r-ryantm/auto-update/delly 
delly: 0.9.1 -> 1.0.3
 2022-07-16 10:49:50 +02:00
github-actions[bot] fa96a4fa79
Merge master into staging-next 2022-07-16 00:02:26 +00:00
yuuyins 877edc57d5
jflap: refactoring, add xdg desktop item (#173905) 
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
 2022-07-16 01:39:21 +02:00
Pascal Wittmann 26ddf3454a
Merge pull request #138255 from natsukium/mafft/init 
mafft: init at 7.487
 2022-07-16 00:54:59 +02:00
Ben Siraphob 0a0006a9d8
formula: add mainProgram 2022-07-15 11:41:08 -07:00
github-actions[bot] 9f53d5cc15
Merge master into staging-next 2022-07-15 18:01:23 +00:00
Aiken Cairncross d73e58de0a
vhd2vl: Fix executable name (#177493) 
* vhd2vl: Fix executable name

* vhd2vl: Fix tests

This partially reverts commit 5d44c9a222.
 2022-07-15 16:22:23 +02:00
Artturin a584822577 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 
f7414e2
 2022-07-15 02:50:09 +03:00
Vladimír Čunát 8169a7fce0
Merge branch 'master' into staging-next 2022-07-13 09:57:41 +02:00
Rick van Schijndel f73ff47ca9
Merge pull request #174451 from r-ryantm/auto-update/nengo-gui 
nengo-gui: 0.4.8 -> 0.4.9
 2022-07-12 23:25:08 +02:00
Artturin 83b4764dc3 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 
f7414e2b3a
 2022-07-12 18:25:19 +03:00
Jonas Heinrich 2349dd5cb2 graphia: 2.2 -> 3.0 2022-07-12 10:01:03 -04:00
Sandro 8785153a13
Merge pull request #180450 from wegank/lp_solve-aarch64-darwin 2022-07-12 14:56:55 +02:00
github-actions[bot] 5f2ff17a45
Merge master into staging-next 2022-07-11 18:01:16 +00:00
Thomas Tuegel e1e0d5d513
Merge pull request #108496 from knedlsepp/cmake-rpath 
cmake/setup-hook.sh: Don't skip build-RPATH
 2022-07-11 10:18:47 -05:00
Bobby Rong 13a310dc59
Merge pull request #180296 from r-ryantm/auto-update/bada-bib 
bada-bib: 0.6.2 -> 0.7.2
 2022-07-11 20:44:36 +08:00
R. Ryantm 76e20e84b6 gmsh: 4.10.4 -> 4.10.5 2022-07-11 10:54:53 +00:00
Mauricio Collares b9854d669e nauty: 2.7r3 -> 2.7r4 2022-07-11 11:53:32 +02:00
Mauricio Collares 55a53e1dec sage: apply eclib 20220621 update patch 2022-07-11 10:53:15 +02:00
Bobby Rong 06e537ad60
bada-bib: add missing libadwaita and gtksourceview5 dependency 2022-07-11 13:46:57 +08:00
7c6f434c c196afc04e
Merge pull request #180675 from collares/singular-4.3.1 
singular: 4.3.0 -> 4.3.1
 2022-07-10 23:22:38 +00:00
Théo Zimmermann 3ea8ed7d7e Split out CoqIDE by default when Coq >= 8.14. 2022-07-10 15:49:44 +02:00
Rick van Schijndel 654cb9069b
Merge pull request #180920 from smancill/gaw-platforms 
gaw: mark as Linux-only
 2022-07-10 13:45:01 +02:00
Sebastián Mancilla fdfd961ee1 gaw: mark as Linux-only 
The error when building on Darwin is:

    sockcon.c:19:10: fatal error: 'linux/tcp.h' file not found

So, it uses Linux-specific headers.
 2022-07-09 23:34:54 -04:00
Sebastián Mancilla 9df44cc540 ginac: mark as unbroken on darwin 
Marked as broken by #173671 but builds and works fine on darwin, with
sandbox enabled.
 2022-07-09 22:58:48 -04:00
R. Ryantm 58d35e01aa nextinspace: 2.0.3 -> 2.0.5 2022-07-09 07:19:07 +00:00
Anderson Torres e7c3f2b4de
Merge pull request #180535 from wegank/nvc-init 
nvc: init at 1.6.2
 2022-07-08 21:21:59 -03:00
Théo Zimmermann 1014f00cff Prepare Coq derivation for Coq 8.17 build infrastructure. 2022-07-08 14:54:04 +02:00
Mauricio Collares bc41a593a5 singular: 4.3.0 -> 4.3.1 2022-07-08 11:24:03 +02:00
Weijia Wang 22c2fef365 nvc: init at 1.6.2 2022-07-08 07:22:45 +02:00
R. Ryantm 5ea1c721e1 delly: 0.9.1 -> 1.0.3 2022-07-07 22:10:48 +00:00
Jonas Heinrich fc4b3a846d
klee: 2.2 -> 2.3 
* klee: 2.2 -> 2.3
 2022-07-07 09:18:27 -03:00
Weijia Wang a64e151d26 lp_solve: fix build on aarch64-darwin 2022-07-07 09:59:39 +02:00
Rick van Schijndel 5cbfadba69
Merge pull request #178552 from jiegec/gtkwave-darwin 
gtkwave: support darwin build
 2022-07-07 09:04:12 +02:00
Justin Bedő e120ef6a5a
Merge pull request #180294 from NixOS/r-updates 
R 4.2.0 -> 4.2.1 and bump package set
 2022-07-06 15:43:09 +10:00
R. Ryantm 4975868d54 bada-bib: 0.6.2 -> 0.7.2 2022-07-06 00:52:29 +00:00