4865 Commits

Author	SHA1	Message	Date
Millian Poquet	c6f34aeaef	simgrid: compile tests in parallel	2021-07-19 14:05:17 +02:00
Millian Poquet	c4ec6ffb78	simgrid: fix paths in smpicc/smpicxx	2021-07-19 14:04:57 +02:00
Millian Poquet	33f915f241	simgrid: propagate boost ... Since SimGrid include files directly include boost files, most SimGrid users need boost as well.	2021-07-19 14:03:50 +02:00
Millian Poquet	2d05c2d535	simgrid: 3.27 -> 3.28	2021-07-19 14:01:30 +02:00
Jan van Brügge	e32da890c9	isabelle: Add desktop entry	2021-07-19 12:04:30 +02:00
github-actions[bot]	dde34afc63	Merge staging-next into staging	2021-07-19 00:02:18 +00:00
Jan van Brügge	9111bd40b2	isabelle: 2020 -> 2021	2021-07-18 23:51:36 +02:00
Sandro	d5bd34ebf2	treewide: convert phases that contain ":" to dont* = true (#130500)	2021-07-18 23:42:48 +02:00
github-actions[bot]	09be4e7750	Merge staging-next into staging	2021-07-18 12:01:50 +00:00
Jörg Thalheim	d4b8356ce2	pcalc: 20141224 -> 20181202	2021-07-18 08:40:09 +02:00
github-actions[bot]	08a8809bfe	Merge staging-next into staging	2021-07-18 00:02:06 +00:00
Sandro	24debc24c6	Merge pull request #130194 from Stunkymonkey/fdr-phases ... fdr: deprecate phases	2021-07-18 00:41:56 +02:00
Felix Buehler	82cb33a0ae	treewide: remove meta.version	2021-07-18 00:07:38 +02:00
github-actions[bot]	11332e9137	Merge staging-next into staging	2021-07-17 18:01:28 +00:00
Robert Scott	681821fefe	Merge pull request #129834 from r-ryantm/auto-update/bcftools ... bcftools: 1.11 -> 1.13	2021-07-17 18:26:47 +01:00
github-actions[bot]	732bd85cf5	Merge staging-next into staging	2021-07-17 12:01:55 +00:00
Guillaume Girol	cb7e11dcb3	Merge pull request #130404 from collares/pynac-0.7.29 ... pynac: 0.7.27 -> 0.7.29	2021-07-17 09:08:46 +00:00
(cdep)illabout	299082636c	cedille: set no hydra platforms	2021-07-17 11:17:09 +09:00
(cdep)illabout	ff0c051daf	cedille: mark broken	2021-07-17 11:10:26 +09:00
Mauricio Collares	183071d282	pynac: 0.7.27 -> 0.7.29	2021-07-16 19:30:11 -03:00
github-actions[bot]	ed4094a728	Merge staging-next into staging	2021-07-16 00:02:18 +00:00
Sandro	9b8e8b2047	Merge pull request #130193 from Stunkymonkey/verifast-phases ... verifast: deprecate phases	2021-07-15 23:40:17 +02:00
Sandro	daa42d5347	Merge pull request #130210 from veprbl/pr/root_6_24_02	2021-07-15 22:52:29 +02:00
Sandro	025cab89d9	Merge pull request #130187 from Stunkymonkey/workcraft-phases ... workcraft: deeprecate phases	2021-07-15 21:59:16 +02:00
github-actions[bot]	2165de1758	Merge staging-next into staging	2021-07-15 18:02:07 +00:00
FliegendeWurst	5a1b72a6b1	mathematica: 12.3.0 -> 12.3.1	2021-07-15 15:29:33 +02:00
github-actions[bot]	0db5cea36d	Merge staging-next into staging	2021-07-15 06:01:32 +00:00
Vincent Laporte	e57571bdb6	gappa: 1.3.5 → 1.4.0	2021-07-15 07:55:52 +02:00
Dmitry Kalinkin	1cbb9c64d1	root,root5: apply nixpkgs-fmt	2021-07-14 16:23:09 -04:00
Dmitry Kalinkin	62ab958fb0	root: 6.24.00 -> 6.24.02	2021-07-14 14:58:15 -04:00
github-actions[bot]	6630d8e9bb	Merge staging-next into staging	2021-07-14 18:01:45 +00:00
Felix Buehler	7ab67cfa4c	fdr: deprecate phases	2021-07-14 16:42:23 +02:00
Felix Buehler	b6fb4cedaf	verifast: deprecate phases	2021-07-14 16:41:30 +02:00
Felix Buehler	ac75afe239	logisim: deprecate phases	2021-07-14 16:40:28 +02:00
Felix Buehler	cdf9e86ad1	leo3-bin: deprecate phases	2021-07-14 16:38:38 +02:00
Felix Buehler	3680a85bcb	workcraft: deeprecate phases	2021-07-14 16:33:41 +02:00
Sandro Jäckel	388a4ef423	treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*	2021-07-14 03:35:21 +02:00
Dmitry Kalinkin	43ae777382	Merge pull request #130090 from evils/kicad ... kicad-unstable: update; now requires python	2021-07-13 14:20:39 -04:00
Evils	0e6d186906	kicad-unstable: needs python ... needed since upstream merge request 796 got merged on 2021-06-01	2021-07-13 12:47:26 +02:00
Evils	428d2a2f51	kicad-unstable: 2021-05-16 -> 2021-07-12	2021-07-13 12:46:17 +02:00
github-actions[bot]	5779c9a1dd	Merge staging-next into staging	2021-07-12 18:01:40 +00:00
markuskowa	cd55326158	Merge pull request #129662 from sheepforce/cp2k ... CP2K: init at 8.1.0	2021-07-12 19:28:33 +02:00
Ryan Mulligan	3c82ddb28c	Merge pull request #130016 from r-ryantm/auto-update/engauge-digitizer ... engauge-digitizer: 12.1 -> 12.2.2	2021-07-12 11:08:24 -05:00
R. RyanTM	d342554ec5	engauge-digitizer: 12.1 -> 12.2.2	2021-07-12 14:06:35 +00:00
Markus Kowalewski	77be900d67	octopus: cleanup derivation	2021-07-12 14:15:05 +02:00
Markus Kowalewski	0a1167fd0b	octopus: 10.3 -> 10.5	2021-07-12 13:31:28 +02:00
markuskowa	13b3e91794	Merge pull request #128856 from cburstedde/package-petsc-p4est ... petsc: refactor using mpi and p4est	2021-07-12 11:46:44 +02:00
Sandro	9afe59f2e6	Merge pull request #129938 from eduardosm/diylc	2021-07-11 22:40:33 +02:00
Dmitry Kalinkin	45bed6d99f	snakemake: 6.5.0 -> 6.5.3	2021-07-11 10:40:09 -04:00
Eduardo Sánchez Muñoz	8f66191e32	diylc: 4.17.0 -> 4.18.0	2021-07-11 15:45:23 +02:00
R. RyanTM	7177212409	bcftools: 1.11 -> 1.13	2021-07-10 10:15:10 +00:00
Phillip Seeber	5c4d869ada	engauge-digitizer: init at 12.1 ... code-review hints engauge-digitizer: code review suggestions	2021-07-09 13:27:30 +02:00
Phillip Seeber	e503e43a03	cp2k: init at 8.2.0 ... cp2k: cleanup/formatting cp2k: change license cp2k: remove comment	2021-07-09 11:27:35 +02:00
Sandro	43b68c4bca	dkh: init at 1.2 ... Apply suggestions from code review	2021-07-09 10:40:51 +02:00
Carsten Burstedde	25456656ef	Merge branch 'master' into package-petsc-p4est	2021-07-06 07:19:35 +02:00
Michael Raskin	cb098c86b0	Merge pull request #129280 from r-ryantm/auto-update/jmol ... jmol: 14.31.42 -> 14.31.44	2021-07-06 04:04:19 +00:00
Sandro	90fa755d73	Merge pull request #123692 from collares/eclib-20210503	2021-07-06 01:59:32 +02:00
Carsten Burstedde	705afbd338	Merge branch 'master' into package-petsc-p4est	2021-07-05 19:30:59 +02:00
R. RyanTM	0e2aad0d3f	jmol: 14.31.42 -> 14.31.44	2021-07-04 22:17:25 +00:00
github-actions[bot]	a6fdcf8d52	Merge master into staging-next	2021-07-04 12:01:06 +00:00
Gabriel Ebner	5fd14f54c7	qalculate-gtk: 3.18.0 -> 3.19.0	2021-07-04 10:41:23 +02:00
Gabriel Ebner	7880aaa756	Merge pull request #124454 from r-ryantm/auto-update/elan ... elan: 1.0.2 -> 1.0.6	2021-07-04 10:19:58 +02:00
github-actions[bot]	89ee82a6e9	Merge master into staging-next	2021-07-04 06:01:11 +00:00
Sandro	8723bd8119	Merge pull request #129122 from dotlambda/dateutil-alias	2021-07-04 02:53:34 +02:00
Dmitry Kalinkin	f0fbfdefe7	Merge branch 'master' into staging-next	2021-07-03 17:51:15 -04:00
Mauricio Collares	30cd543b32	eclib: 20190909 -> 20210625, import sage update patch	2021-07-03 12:55:52 -03:00
R. RyanTM	f32e760b64	gwyddion: 2.58 -> 2.59	2021-07-03 11:56:51 +00:00
Robert Schütz	1ec5651913	treewide: use pythonPackages.python-dateutil instead of pythonPackages.dateutil	2021-07-03 13:45:57 +02:00
github-actions[bot]	77a94d88ad	Merge master into staging-next	2021-07-03 06:01:13 +00:00
Sarunas Valaskevicius	5b69b1f3fe	tlaToolbox: fix crash on file open dialog	2021-07-02 23:04:39 +01:00
github-actions[bot]	4147e7d4a9	Merge master into staging-next	2021-07-02 18:01:01 +00:00
Gabriel Ebner	b38329171a	Merge pull request #128926 from collares/lean-3.31 ... lean: 3.30.0 -> 3.31.0	2021-07-02 19:57:13 +02:00
github-actions[bot]	dcd8f68f13	Merge master into staging-next	2021-07-02 00:01:33 +00:00
Mauricio Collares	258e959faf	lean: 3.30.0 -> 3.31.0	2021-07-01 20:47:08 -03:00
Michael Raskin	980ebd8f1e	Merge pull request #128831 from collares/sage-sphinx-4 ... sage: import sphinx and sympy update patches, update pari 2.13 patch	2021-07-01 21:42:08 +00:00
Carsten Burstedde	870b2847a4	getdp: align with latest petsc dependency	2021-07-01 22:57:26 +02:00
github-actions[bot]	9d5de3eca1	Merge master into staging-next	2021-07-01 18:01:04 +00:00
Ben Siraphob	ee5b85e00e	Merge pull request #128900 from siraben/hol-unix ... hol: expand platforms to unix	2021-07-01 23:33:15 +07:00
Ben Siraphob	e86f5bfa8f	hol: expand platforms to unix	2021-07-01 22:19:02 +07:00
Michael Raskin	7ba5c6915d	Merge pull request #128167 from r-ryantm/auto-update/jmol ... jmol: 14.31.41 -> 14.31.42	2021-07-01 12:56:32 +00:00
Mauricio Collares	17e024867f	sage: import sphinx and sympy update patches, update pari 2.13 patch	2021-06-30 20:26:16 -03:00
github-actions[bot]	1a1f2ce95d	Merge master into staging-next	2021-06-30 18:04:09 +00:00
Théo Zimmermann	cc84f3906e	coq: fix issue introduced in #128603 ... This triggerred coq-community/coq-nix-toolbox#42.	2021-06-30 16:38:39 +02:00
github-actions[bot]	629cea2cd0	Merge master into staging-next	2021-06-30 12:04:22 +00:00
R. RyanTM	360c8128bb	gtkwave: 3.3.109 -> 3.3.110	2021-06-29 23:46:07 -07:00
Hunter Jones	ef892b0a92	phd2: 2.6.9dev1 -> 2.6.10	2021-06-29 23:42:21 -07:00
R. RyanTM	c4e9746406	emuflight-configurator: 0.3.5 -> 0.3.6	2021-06-29 23:28:17 -07:00
github-actions[bot]	7f05df0a91	Merge master into staging-next	2021-06-30 06:04:18 +00:00
Théo Zimmermann	d3bb50e7da	Coq: adapt for upcoming 8.14 (#128603)	2021-06-30 04:47:31 +02:00
github-actions[bot]	0fa08dae1b	Merge master into staging-next	2021-06-30 00:08:50 +00:00
Sandro	be4382dcb3	Merge pull request #126878 from mtreca/master	2021-06-30 01:55:22 +02:00
github-actions[bot]	fc4cc6ca93	Merge master into staging-next	2021-06-29 12:04:29 +00:00
mtreca	66ca618b33	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
Andrew Childs	55dcd99859	root: use pure CoreSymbolication on Darwin ... The current build works by linking against CoreSymbolication in /System/Library/PrivateFrameworks. This is impure and doesn't work in newer versions of macOS. See https://github.com/NixOS/nixpkgs/issues/128576	2021-06-29 11:00:05 +09:00
github-actions[bot]	265a07c480	Merge staging-next into staging	2021-06-27 12:04:27 +00:00
Vincent Laporte	d60534722e	why3: use GTK3	2021-06-27 09:03:12 +02:00
Vincent Laporte	773bdf6998	why3: 1.3.3 → 1.4.0 ... framac: 22.0 → 23.0-rc1	2021-06-27 09:03:12 +02:00
github-actions[bot]	1016b5a6ba	Merge staging-next into staging	2021-06-27 00:10:43 +00:00
Hunter Jones	193e721cb2	siril: 0.99.8.1 -> 0.99.10.1	2021-06-26 12:57:56 -05:00
R. RyanTM	517fdc1aea	jmol: 14.31.41 -> 14.31.42	2021-06-26 04:00:04 +00:00