5577 Commits

Author	SHA1	Message	Date
Mauricio Collares	58f58c8de6	lean: 3.39.0 -> 3.39.1	2022-02-08 12:24:19 -03:00
Ben Siraphob	3594565a7e	Merge pull request #156629 from siraben/coq-mainprogram ... coq: add meta.mainProgram	2022-02-06 21:43:01 +00:00
Ben Siraphob	6ad0e10dd3	coq: add meta.mainProgram	2022-02-06 15:42:47 -06:00
Ben Siraphob	33489310eb	Merge pull request #158358 from c0bw3b/fix/homepages ... A batch of homepage (and source) updates	2022-02-06 20:02:50 +00:00
Renaud	2ddcc2b369	hisat2: update homepage ... and use SPDX 3.0 license identifier	2022-02-06 15:10:53 +01:00
Renaud	d968838c90	gravit: update homepage and source URLs ... and use SPDX 3.0 license identifier	2022-02-06 15:10:47 +01:00
Renaud	3e5d286cc4	eagle7: update homepage ... www.cadsoftusa.com and www.cadsoft.de are gone	2022-02-06 15:10:29 +01:00
R. RyanTM	1bfc1730e1	cwltool: 3.1.20220202173120 -> 3.1.20220204090313 (#158272)	2022-02-05 15:14:21 -05:00
Sandro	63a6539b76	Merge pull request #157198 from afontaine/afontaine/correct-fah-shortcuts	2022-02-04 18:26:20 +01:00
R. Ryantm	af3af2df32	cwltool: 3.1.20220124184855 -> 3.1.20220202173120	2022-02-03 20:06:12 -05:00
Timo Kaufmann	0371c7ba56	Merge pull request #157981 from collares/sage-fonttools-revert ... sage: no longer assume fonttools emits deprecation warnings	2022-02-03 18:03:39 +01:00
Artturi	0f491bd7a3	Merge pull request #157264 from FliegendeWurst/disable-broken-parallel	2022-02-03 16:04:57 +02:00
Mauricio Collares	0ebdfab88b	lean: 3.38.0 -> 3.39.0	2022-02-03 09:21:20 -03:00
Mauricio Collares	778b1f8b4f	sage: no longer assume fonttools emits deprecation warnings	2022-02-03 08:28:22 -03:00
Bobby Rong	46a4949078	Merge pull request #157927 from r-ryantm/auto-update/vowpal-wabbit ... vowpal-wabbit: 8.11.0 -> 9.0.1	2022-02-03 17:28:02 +08:00
R. Ryantm	6d957f73ab	vowpal-wabbit: 8.11.0 -> 9.0.1	2022-02-03 02:08:33 +00:00
Сухарик	3f90b3a1e1	anders: init at 1.1.1	2022-02-02 12:31:53 +03:00
markuskowa	65bc2de0ef	Merge pull request #152447 from Cogitri/bada-bib ... bada-bib: init at 0.3.0	2022-02-01 22:26:26 +01:00
Martin Weinelt	778d148959	Merge pull request #155061 from piegamesde/gnome	2022-02-01 20:53:10 +01:00
Bruno Bzeznik	77682cf879	shtns: init at 3.5.1 (#151061)	2022-01-31 21:28:05 +01:00
R. Ryantm	d44e044d84	kallisto: 0.46.2 -> 0.48.0	2022-01-31 09:53:54 -08:00
Bruno Bzeznik	b6fa4975cf	repseek: init at 9Sep2014 (#148017) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-01-31 14:59:32 +01:00
7c6f434c	9b76122d71	Merge pull request #140889 from collares/sage-9.5 ... sage: 9.4 -> 9.5	2022-01-31 13:24:26 +00:00
Robert Schütz	a13fe11c59	sasview: 4.2.0 -> 5.0.4	2022-01-30 20:47:10 +00:00
Mauricio Collares	8ec9a32829	sageWithDoc: do not autodetect optional features when testing dochtml	2022-01-30 13:15:22 -03:00
Mauricio Collares	cecbb55fb0	sage: 9.4 -> 9.5	2022-01-30 13:15:20 -03:00
Sandro	a724f8dc29	Merge pull request #155897 from FliegendeWurst/key-2.10	2022-01-30 01:21:43 +01:00
piegames	9a2a3d0395	gfm: drop ... It does not appear to have an attribute that references it anymore? (Not sure though, that name's hard to grep for)	2022-01-29 18:09:16 +01:00
piegames	5ffbf9ed81	tilp2: drop ... While tilp2's libglade dependency is optional, it still has a hard dependency on it via gfm	2022-01-29 18:08:52 +01:00
markuskowa	01f1b41a7d	Merge pull request #156381 from r-ryantm/auto-update/bowtie2 ... bowtie2: 2.4.4 -> 2.4.5	2022-01-29 14:56:23 +01:00
FliegendeWurst	a43431f376	alliance: disable parallel build	2022-01-29 11:40:09 +01:00
FliegendeWurst	48a133a066	key: add a desktop item	2022-01-29 10:14:54 +01:00
Vegard Strand Lende	41f927b433	verilator: 4.210 -> 4.218 (#157122) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-01-29 02:30:41 +01:00
Andrew Fontaine	3c0680b783	fahviewer: fix variable substitution for shortcut ... Because single quotes are used in the sed command, the application shortcut had the literal $out instead of the package path.	2022-01-28 16:47:24 -05:00
Andrew Fontaine	ba785adb28	fahcontrol: fix variable substitution for shortcut ... Because single quotes are used in the sed command, the application shortcut had the literal $out instead of the package path.	2022-01-28 16:46:52 -05:00
Yipeng Sun	54cbee8d97	root: tweak wrapping flags for auxiliary programs, avoid forcing CMAKE_CXX_STANDARD (#157069)	2022-01-27 19:37:36 -05:00
Sandro	27cccd4e49	Merge pull request #151363 from Stunkymonkey/doc-updateWalker	2022-01-27 14:06:36 +01:00
ajs124	3638ca8be6	Merge pull request #156001 from helsinki-systems/upd/tulip ... tulip: 5.2.1 -> 5.6.1	2022-01-26 23:33:44 +01:00
Felix Buehler	09e3b7a570	treewide: remove all updateWalker/downloadURLRegexp	2022-01-26 21:46:08 +01:00
Felix Buehler	ed7bf9452c	treewide: remove *.upstream files from updateWalker	2022-01-26 21:46:07 +01:00
Gabriel Ebner	b27b115b41	Merge pull request #154272 from jvanbruegge/isabelle-build-hol ... isabelle: Prebuild HOL session	2022-01-26 16:37:18 +01:00
Dmitry Kalinkin	f66b63a7cb	Merge pull request #156217 from smancill/shogun-fixes ... Shogun: use Python 3 and fix CMake targets	2022-01-26 04:25:27 -05:00
R. Ryantm	6b3bf39220	cwltool: 3.1.20220119140128 -> 3.1.20220124184855	2022-01-25 21:56:09 -05:00
Vincent Laporte	8187f6500d	tamarin-prover: install emacs-mode	2022-01-25 15:54:15 +01:00
Vincent Laporte	20e7213d16	coq_8_15: 8.15+rc1 → 8.15.0	2022-01-25 10:53:57 +01:00
Mauricio Collares	0aef6270cd	sage: generate setup.cfg and requirements.txt for sagelib	2022-01-24 20:54:53 -03:00
Mauricio Collares	0a6b5115f6	singular: 4.2.0p2 -> 4.3.0	2022-01-24 20:54:53 -03:00
R. RyanTM	8bd7d6d6e0	star: 2.7.9a -> 2.7.10a ... (#155868)	2022-01-24 19:51:44 +01:00
R. Ryantm	ebb9e86bf9	bowtie2: 2.4.4 -> 2.4.5	2022-01-23 22:45:59 +00:00
Mario Rodas	111d7dc831	Merge pull request #156014 from r-ryantm/auto-update/deeptools ... deeptools: 3.5.0 -> 3.5.1	2022-01-22 23:45:09 -05:00