4777 Commits

Author	SHA1	Message	Date
Gabriel Ebner	4aa2e32246	Merge pull request #124507 from collares/olean-cache-misses ... lean: substitute release commit sha1 (so upstream oleans are compatible with nixpkgs lean)	2021-05-26 18:34:56 +02:00
Mauricio Collares	cbaf78cdaa	lean: substitute release commit sha1	2021-05-26 11:53:55 -03:00
R. RyanTM	15c278930c	elan: 1.0.2 -> 1.0.6	2021-05-26 05:44:59 +00:00
github-actions[bot]	6d73490cb4	Merge master into staging-next	2021-05-26 01:11:31 +00:00
Pavol Rusnak	2c3cbef68d	Merge pull request #120840 from prusnak/viennarna ... ViennaRNA: 2.4.17 -> 2.4.18	2021-05-26 00:03:55 +02:00
Pavol Rusnak	4bda49e963	ViennaRNA: 2.4.17 -> 2.4.18	2021-05-26 00:01:06 +02:00
Ryan Mulligan	e2d59eee64	Merge pull request #124094 from r-ryantm/auto-update/marvin ... marvin: 21.3.0 -> 21.9.0	2021-05-25 12:42:45 -07:00
R. RyanTM	cb70ce62ab	marvin: 21.3.0 -> 21.9.0	2021-05-23 02:24:31 +00:00
Jonathan Ringer	b9b9cdb87c	Merge remote-tracking branch 'origin/staging' into staging-next	2021-05-22 19:23:14 -07:00
Jonathan Ringer	11a9ac00fc	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/tools/networking/xh/default.nix	2021-05-22 18:19:10 -07:00
Sandro Jäckel	d6ff646b3f	pythonPackages.smart_open: rename to smart-open	2021-05-22 15:02:50 -07:00
Stéphan Kochen	c47425a230	sambamba: fix darwin build	2021-05-22 20:56:09 +02:00
github-actions[bot]	d5714df652	Merge staging-next into staging	2021-05-22 06:21:58 +00:00
github-actions[bot]	cc35c7fc85	Merge master into staging-next	2021-05-22 06:21:55 +00:00
Robert Scott	bcc99b83d0	libpoly: fix darwin build ... issue reported upstream	2021-05-21 20:21:20 -07:00
Michael Raskin	d0fd8a029d	Merge pull request #123281 from r-ryantm/auto-update/jmol ... jmol: 14.31.38 -> 14.31.39	2021-05-21 19:42:56 +00:00
Jonathan Ringer	6b15fdce86	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/shells/ion/default.nix pkgs/tools/misc/cicero-tui/default.nix	2021-05-20 22:11:42 -07:00
Mauricio Collares	22c86a0466	sageWithDoc: fix static asset deduplication	2021-05-20 18:29:02 -07:00
Mauricio Collares	874d1aba74	sageWithDoc: update sagedoc.py test for sphinx 3.5	2021-05-20 18:29:02 -07:00
Mauricio Collares	cd9e8e284c	sage: fix deprecation warning from matplotlib upgrade	2021-05-20 18:29:02 -07:00
Jonathan Ringer	14f3686af1	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/applications/terminal-emulators/alacritty/default.nix pkgs/servers/clickhouse/default.nix	2021-05-20 09:12:42 -07:00
markuskowa	b0b97660af	Merge pull request #123667 from markuskowa/upd-molcas ... openmolcas: 20.10 -> 21.02	2021-05-19 23:17:31 +02:00
Jonathan Ringer	c1f8a15dac	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: nixos/doc/manual/release-notes/rl-2105.xml pkgs/tools/security/sequoia/default.nix	2021-05-19 10:39:54 -07:00
Pavol Rusnak	f7ed00be13	Merge pull request #123689 from prusnak/bcal ... bcal: cleanup package, enable aarch64-darwin build	2021-05-19 17:47:35 +02:00
Pavol Rusnak	6996896b48	bcal: cleanup package, enable aarch64-darwin build	2021-05-19 16:36:17 +02:00
Timo Kaufmann	6cf6470429	Merge pull request #122624 from collares/pari-2.13 ... pari: 2.11.4 -> 2.13.1, update sage test expectations	2021-05-19 16:07:15 +02:00
Markus Kowalewski	40f276c07d	openmolcas: 20.10 -> 21.02	2021-05-19 13:44:46 +02:00
github-actions[bot]	7000ae2b9a	Merge master into staging-next	2021-05-19 00:55:36 +00:00
Stéphan Kochen	7c0c956a57	starspace: fix darwin build	2021-05-18 20:35:09 +02:00
Jonathan Ringer	ca46ad3762	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/tools/package-management/cargo-release/default.nix	2021-05-18 11:03:38 -07:00
Pavol Rusnak	6be706bbe5	Merge pull request #123503 from stephank/fix-samblaster-darwin ... samblaster: fix darwin build	2021-05-18 18:55:29 +02:00
Jonathan Ringer	f7a112f6c4	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/applications/graphics/emulsion/default.nix pkgs/development/tools/misc/texlab/default.nix pkgs/development/tools/rust/bindgen/default.nix pkgs/development/tools/rust/cargo-udeps/default.nix pkgs/misc/emulators/ruffle/default.nix pkgs/tools/misc/code-minimap/default.nix	2021-05-18 08:57:16 -07:00
Stéphan Kochen	7e9451ffb3	rink: fix darwin build (#123501)	2021-05-18 10:34:25 -04:00
Stéphan Kochen	20f36556dc	samblaster: fix darwin build	2021-05-18 13:41:51 +02:00
Sandro	64b7457313	Merge pull request #123329 from evils/kicad-symlink	2021-05-18 01:40:23 +02:00
Sandro	f85bc843c2	Merge pull request #122759 from dotlambda/mono6	2021-05-18 01:25:35 +02:00
R. RyanTM	161b02937d	gtkwave: 3.3.108 -> 3.3.109	2021-05-17 13:51:47 -07:00
R. RyanTM	ea5ad2b8e0	gwyddion: 2.57 -> 2.58	2021-05-17 11:49:58 -07:00
Erik Bäckman	5b143ccc91	numworks-epsilon: 15.3.2 -> 15.5.0 (#122760) ... Co-authored-by: erikbackman <erikbackman@users.noreply.github.com>	2021-05-17 19:16:51 +02:00
Sandro	83c5d21320	Merge pull request #123083 from stephank/fix-est-sfs-darwin ... est-sfs: fix darwin build	2021-05-17 18:58:33 +02:00
Jonathan Ringer	c227fb4b17	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/development/tools/rust/cargo-cache/default.nix pkgs/development/tools/rust/cargo-embed/default.nix pkgs/development/tools/rust/cargo-flash/default.nix pkgs/servers/nosql/influxdb2/default.nix	2021-05-17 07:01:38 -07:00
Evils	bed2e8ef28	kicad-unstable: 2021-05-13 -> 2021-05-16	2021-05-17 09:47:28 +02:00
Evils	9f6de20292	kicad: correctly handle share/metainfo and appdata ... fixes issue 123299 blindly linking unstable's metainfo resulted in a dangling symlink this is still share/appdata in the stable package so i linked that	2021-05-17 09:47:07 +02:00
Stéphan Kochen	04aa238c1a	gnucap: broken on darwin ... Gnucap relies on LD_LIBRARY_PATH both in its build process and in code, which Darwin does not understand.	2021-05-16 23:51:10 -07:00
github-actions[bot]	3ff6965554	Merge master into staging-next	2021-05-17 06:22:23 +00:00
Austin Butler	66201e2c1d	cntk: fix build	2021-05-16 20:03:06 -07:00
R. RyanTM	9682a2a496	jmol: 14.31.38 -> 14.31.39	2021-05-16 19:52:36 +00:00
github-actions[bot]	6cdac75d25	Merge staging-next into staging	2021-05-16 18:32:44 +00:00
github-actions[bot]	8c6d819143	Merge master into staging-next	2021-05-16 18:32:41 +00:00
Anderson Torres	cf45c45605	Merge pull request #121588 from eduardosm/sip-rename ... pythonPackages.sip: rename to sip_4, pythonPackages.sip_5: rename to sip	2021-05-16 13:31:55 -03:00
Jan Tojnar	684991c696	Merge branch 'master' into staging-next ... - Thunderbird 68 has been dropped on master. - gccCrossLibcStdenv has been factored out on staging-next in all-packages.nix, while the file has been re-formatted on master.	2021-05-16 15:34:51 +02:00
Vincenzo Mantova	4ef47f32d7	eukleides: use $CC instead of hardcoded gcc	2021-05-16 12:03:47 +01:00
Vladimír Čunát	9de0430aac	Merge #122322: eukleides: Fix build, expose tex package	2021-05-16 10:35:28 +02:00
Bjørn Forsman	3d18eddae2	pulseview: fix patch hash	2021-05-16 08:56:46 +02:00
R. RyanTM	9528bf9fd9	bowtie2: 2.4.2 -> 2.4.3	2021-05-16 02:53:03 -04:00
sophrosyne97	2558acf870	pulseview: fix build error	2021-05-16 08:50:47 +02:00
github-actions[bot]	9911b1c75b	Merge staging-next into staging	2021-05-16 01:01:01 +00:00
github-actions[bot]	b484cef365	Merge master into staging-next	2021-05-16 01:00:58 +00:00
Sandro	6b5f106b05	Merge pull request #122930 from lopsided98/qgroundcontrol-update ... qgroundcontrol: 4.1.2 -> 4.1.3	2021-05-15 21:32:56 +02:00
Sandro	936dd70d45	Merge pull request #122791 from lopsided98/mavproxy-update	2021-05-15 21:31:03 +02:00
github-actions[bot]	c10600230e	Merge staging-next into staging	2021-05-15 18:30:31 +00:00
github-actions[bot]	f1b78f8618	Merge master into staging-next	2021-05-15 18:30:28 +00:00
Sandro	b4034ccbc5	Merge pull request #119986 from evils/kicad-usage	2021-05-15 20:12:08 +02:00
github-actions[bot]	49ec716c04	Merge staging-next into staging	2021-05-15 12:25:36 +00:00
github-actions[bot]	ec10b0958d	Merge master into staging-next	2021-05-15 12:25:33 +00:00
Stéphan Kochen	d707979a73	est-sfs: fix darwin build	2021-05-15 12:10:05 +02:00
Stéphan Kochen	acf640be7b	elan: fix darwin build	2021-05-15 12:02:46 +02:00
Stefan Frijters	06e7dc2f43	eukleides: Update license ... See license section in the README.	2021-05-15 10:18:06 +02:00
Stefan Frijters	30b5330e85	eukleides: Fix build, expose tex package	2021-05-15 10:18:06 +02:00
github-actions[bot]	78ae7ac75e	Merge staging-next into staging	2021-05-15 06:22:25 +00:00
Jonathan Ringer	0546e68ef7	Merge remote-tracking branch 'origin/master' into staging-next	2021-05-14 21:57:09 -07:00
Stéphan Kochen	2adca7ae14	cd-hit: fix darwin build (#123026)	2021-05-14 17:27:16 -04:00
Evils	e2661b00f7	kicad: add sanitizeAddress & sanitizeThreads options ... only kicad 5.99 or later are affected was briefly -DKICAD_SANITIZE=ON are mutually exclusive according to a compiler error	2021-05-14 09:03:53 +02:00
Evils	e37d772beb	kicad: avoid rebuild on date change ... the date changes more often than most of the inputs the date can also change on the base without other changes this causes a substantial rebuild for no reason	2021-05-14 09:03:53 +02:00
Evils	7dc05fed4f	kicad: bunch of minor cleanup ... squash of the following kicad: makeFlags: optional -> optionals kicad: remove -1 in version string, no more patch should have been removed in a52e974cff kicad: remove berce as maintainer kicad: gtk3 -> wxGTK.gtk use wxGTK.gtk rather than gtk3 add graphviz as doxygen wants it (no idea if doxygen is required...) minor compilation warning kicad: rearrange / sort inputs separate optional deps and options kicad: clear some configuration warnings linux specific stuff that's wanted by something in config kicad: fix opening bug report in firefox wayland may be removed when kicad goes native?	2021-05-14 09:03:53 +02:00
Evils	3fe839e78c	kicad: 5.1.9 -> 5.1.10	2021-05-14 09:03:53 +02:00
Evils	7a69e69a0b	kicad-unstable: 2020-12-23 -> 2021-05-13	2021-05-14 09:03:46 +02:00
zowoq	004f8cd986	Merge staging-next into staging	2021-05-14 16:32:43 +10:00
Evils	b54dfb232e	kicad-unstable: link through new /share/metainfo	2021-05-14 08:06:25 +02:00
Evils	552a5a900c	kicad-unstable: set KICAD6 env vars	2021-05-14 08:06:25 +02:00
Evils	95de1291b2	kicad-unstable: use wxPython 4.1	2021-05-14 08:06:24 +02:00
github-actions[bot]	bf5d8bb531	Merge master into staging-next	2021-05-14 00:58:11 +00:00
Ben Wolsieffer	6e3b082026	qgroundcontrol: 4.1.2 -> 4.1.3	2021-05-13 20:24:22 -04:00
hjones2199	036e234a66	siril: fix build with glib-2.68 dependency (#122874)	2021-05-13 15:03:29 -04:00
Ben Wolsieffer	09ac4d615a	mavproxy: clarify license as gpl3Plus ... The README states: "MAVProxy is released under the GNU General Public License v3 or later"	2021-05-12 22:51:36 -04:00
Ben Wolsieffer	7d652d0c23	mavproxy: 1.8.34 -> 1.8.36	2021-05-12 22:48:04 -04:00
Mauricio Collares	9847e84d55	pari: 2.11.4 -> 2.13.1, update sage test expectations	2021-05-12 21:21:14 -03:00
Robert Schütz	d099e7558e	mono: 5 -> 6	2021-05-12 21:32:40 +02:00
github-actions[bot]	e2cf474986	Merge staging-next into staging	2021-05-12 06:21:36 +00:00
github-actions[bot]	d8fb37f470	Merge master into staging-next	2021-05-12 06:21:33 +00:00
Mauricio Collares	b413d3570a	sage: 9.3.rc4 -> 9.3	2021-05-11 16:49:32 -03:00
Mauricio Collares	f206ba8ab9	singular: replace local patches by upstream ones	2021-05-11 16:49:10 -03:00
Mauricio Collares	391028eb3a	pynac: add more patches, link to sage trac	2021-05-11 16:49:10 -03:00
Mauricio Collares	2a95fe1aea	gap: 4.11.0 -> 4.11.1	2021-05-11 16:49:10 -03:00
Jan Tojnar	7982550ac4	Merge branch 'staging-next' into staging	2021-05-11 09:09:10 +02:00
github-actions[bot]	49b8e6f7d4	Merge master into staging-next	2021-05-11 00:48:15 +00:00
maralorn	881d2af5ee	Merge pull request #122286 from NixOS/haskell-updates	2021-05-11 02:31:06 +02:00
Malte Brandy	39c0dd99a4	tamarin-prover: Mark broken	2021-05-11 01:56:48 +02:00
Sandro	0a3c566d56	Merge pull request #122396 from jbedo/octopus ... octopus: 0.7.3 -> 0.7.4	2021-05-11 01:19:54 +02:00
Justin Bedo	40eeb2c6d3	octopus: 0.7.3 -> 0.7.4	2021-05-11 08:46:00 +10:00
Sandro	d2ea330f62	Merge pull request #122482 from hjones2199/kstars353	2021-05-11 00:22:01 +02:00
Hunter Jones	d4077929d6	kstars: 3.5.2 -> 3.5.3	2021-05-10 15:16:04 -05:00
Eduardo Sánchez Muñoz	08a26e4579	pythonPackages.sip: rename to sip_4 ... sip 4 is the old and unmaintained version	2021-05-10 20:41:38 +02:00
github-actions[bot]	61fa3fdde8	Merge master into staging-next	2021-05-10 18:28:17 +00:00
Ryan Mulligan	c72c9f46e2	Merge pull request #122391 from r-ryantm/auto-update/jmol ... jmol: 14.31.36 -> 14.31.38	2021-05-10 10:17:33 -07:00
Jan Tojnar	594a885912	Merge branch 'staging-next' into staging	2021-05-10 09:45:47 +02:00
github-actions[bot]	1e3d91bd19	Merge master into staging-next	2021-05-10 00:48:32 +00:00
R. RyanTM	4ff0c782a3	jmol: 14.31.36 -> 14.31.38	2021-05-09 20:32:06 +00:00
Ben Siraphob	418a37d99c	coq2html: 20170720 -> 1.2	2021-05-09 22:00:15 +02:00
Vladimír Čunát	5663b2b2d3	Merge branch 'master' into staging-next ... (a trivial conflict in transmission)	2021-05-09 09:31:55 +02:00
R. RyanTM	2c143443f7	libpoly: 0.1.8 -> 0.1.9	2021-05-08 18:34:00 -07:00
R. RyanTM	5ab09faafb	gretl: 2021a -> 2021b	2021-05-08 17:11:36 -07:00
Jan Tojnar	dd78ce1c53	Merge branch 'staging-next' into staging	2021-05-08 20:59:05 +02:00
Martin Weinelt	9651084620	Merge remote-tracking branch 'origin/master' into staging-next	2021-05-08 14:43:43 +02:00
Jonathan Ringer	1d85caaa26	root: fix build	2021-05-08 01:29:18 -07:00
Jan Tojnar	468cb5980b	gnome: rename from gnome3 ... Since GNOME version is now 40, it no longer makes sense to use the old attribute name.	2021-05-08 09:47:42 +02:00
Daniël de Kok	85f96822a0	treewide: fix cargoSha256/cargoHash ... Rust 1.50.0 incorporated a Cargo change (rust-lang/cargo#8937) in which cargo vendor erroneously changed permissions of vendored crates. This was fixed in Rust 1.51.0 (rust-lang/cargo#9131). Unfortunately, this means that all cargoSha256/cargoHashes produced during the Rust 1.50.0 cycle are potentially broken. This change updates cargoSha256/cargoHash tree-wide. Fixes #121994.	2021-05-08 00:36:37 -07:00
github-actions[bot]	b4416b52c5	Merge master into staging-next	2021-05-08 00:46:50 +00:00
Malte Brandy	2a11f1f5cc	Merge branch 'master' into haskell-updates	2021-05-07 15:03:54 +02:00
github-actions[bot]	12193913a1	Merge staging-next into staging	2021-05-07 12:23:21 +00:00
Robert Hensing	aaec26af39	Merge pull request #121896 from raboof/extract-version-test-to-utility ... test-utilities: version test	2021-05-07 11:56:01 +02:00
Arnout Engelen	b68130fd2c	test-utilities: version test ... Extract 'version test' to a reusable test utility as discussed in https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and	2021-05-07 09:53:35 +02:00
sternenseemann	eaeb69862c	petrinizer: restrict platforms by sbv ... sbv has the most limited range of platforms of the dependencies.	2021-05-06 16:24:58 +02:00
sternenseemann	73c2dd4aa6	petrinizer: fix build ... * take z3 haskell package from haskellPackages * take sbv 7.13 from haskellPackages, apply patch fixing build with GHC >= 8.8.8	2021-05-06 11:43:59 +02:00
github-actions[bot]	dbc1478d23	Merge staging-next into staging	2021-05-05 06:21:29 +00:00
R. RyanTM	59cd52dc40	gmsh: 4.8.3 -> 4.8.4	2021-05-05 01:26:49 -04:00
github-actions[bot]	98d7aac597	Merge staging-next into staging	2021-05-04 00:49:43 +00:00
Dmitry Kalinkin	1cfcfccc6e	Merge pull request #121411 from veprbl/pr/xfitter_darwin_fix ... xfitter: fix for darwin	2021-05-03 17:37:34 -04:00
github-actions[bot]	5e177b16b1	Merge staging-next into staging	2021-05-03 18:25:49 +00:00
edef	4e4c45efac	Merge pull request #121375 from deviant/bump-rink ... rink: 0.6.0 -> 0.6.1	2021-05-03 13:57:36 +00:00
github-actions[bot]	a4c3a2d732	Merge staging-next into staging	2021-05-03 12:26:48 +00:00
Gabriel Ebner	62458574e3	Merge pull request #121361 from r-ryantm/auto-update/lean ... lean: 3.29.0 -> 3.30.0	2021-05-03 11:13:53 +02:00
github-actions[bot]	a7e07bddd5	Merge staging-next into staging	2021-05-02 12:24:53 +00:00
Luke Granger-Brown	884cf29501	dcm2niix: 1.0.20201102 -> 1.0.20210317	2021-05-02 11:10:40 +00:00
R. RyanTM	ad5f251230	dcm2niix: 1.0.20200331 -> 1.0.20201102	2021-05-02 03:14:11 +00:00
github-actions[bot]	e6037ce5fe	Merge staging-next into staging	2021-05-02 00:58:46 +00:00
Luke Granger-Brown	ebf371726d	sumorobot-manager: fix compilation	2021-05-02 00:12:19 +00:00
R. RyanTM	99f8bc3e03	sumorobot-manager: 0.9.0 -> 1.0.0	2021-05-02 00:02:46 +00:00
github-actions[bot]	49721bed32	Merge staging-next into staging	2021-05-01 18:26:21 +00:00
Dmitry Kalinkin	c846fa1674	xfitter: fix for darwin ... Fixes: 8984fc29 ('xfitter: fix build w/glibc-2.32')	2021-05-01 13:15:06 -04:00
Sandro	4b2c9640e7	Merge pull request #120613 from erikbackman/master	2021-05-01 18:42:40 +02:00
V	5a835e6e92	rink: 0.6.0 -> 0.6.1	2021-05-01 10:46:51 +02:00
R. RyanTM	96e1cc0768	lean: 3.29.0 -> 3.30.0	2021-05-01 05:49:45 +00:00
John Ericson	17305d2df0	Merge pull request #111487 from Ericson2314/llvm-outputs-and-cross-compile-tools ... llvmPackages: Clean up outputs	2021-04-30 11:28:08 -04:00
github-actions[bot]	d7882499f8	Merge staging-next into staging	2021-04-30 12:26:14 +00:00
Michael Raskin	ee4684f052	Merge pull request #117716 from idontgetoutmuch/master ... Fix https://github.com/NixOS/nixpkgs/issues/117715	2021-04-30 07:28:43 +00:00
Andrew Childs	7869d16545	llvmPackages: Multuple outputs for everythting ... Also begin to start work on cross compilation, though that will have to be finished later. The patches are based on the first version of https://reviews.llvm.org/D99484. It's very annoying to do the back-porting but the review has uncovered nothing super major so I'm fine sticking with what I've got. Beyond making the outputs work, I also strove to re-sync the packages, as they have been drifting pointlessly apart for some time. ---- Other misc notes, highly incomplete - lvm-config-native and llvm-config are put in `dev` because they are tools just for build time. - Clang no longer has an lld dep. That was introduced in db29857eb3, but if clang needs help finding lld when it is used we should just pass it flags / put in the resource dir. Providing it at build time increases critical path length for no good reason. ---- A note on `nativeCC`: `stdenv` takes tools from the previous stage, so: 1. `pkgsBuildBuild`: `(?1, x, x)` 2. `pkgsBuildBuild.stdenv.cc`: `(?0, ?1, x)` while: 1. `pkgsBuildBuild`: `(?1, x, x)` 2. `pkgsBuildBuild.targetPackages`: `(x, x, ?2)` 3. `pkgsBuildBuild.targetPackages.stdenv.cc`: `(?1, x, x)`	2021-04-30 05:41:00 +00:00
github-actions[bot]	3ad64733d9	Merge staging-next into staging	2021-04-29 18:28:08 +00:00
Dominic Steinitz	732ab3d4e2	Incorporate suggeston by collares	2021-04-29 17:34:34 +01:00
R. RyanTM	5b7a76e2a6	jmol: 14.31.35 -> 14.31.36	2021-04-29 12:39:03 +00:00
github-actions[bot]	01105a117a	Merge staging-next into staging	2021-04-29 06:21:55 +00:00
R. RyanTM	5122077801	gmsh: 4.8.1 -> 4.8.3	2021-04-29 00:17:51 -04:00
R. RyanTM	e99e9f2d47	elan: 1.0.0 -> 1.0.2	2021-04-29 00:04:34 -04:00
github-actions[bot]	655989d7b3	Merge staging-next into staging	2021-04-28 00:15:29 +00:00
Gabriel Ebner	a062505e10	Merge pull request #120177 from r-ryantm/auto-update/elan ... elan: 0.11.0 -> 1.0.0	2021-04-27 22:52:12 +02:00
R. RyanTM	32cb3382e5	elan: 0.11.0 -> 1.0.0	2021-04-27 22:32:13 +02:00
Gabriel Ebner	abbc2384d7	Merge pull request #120822 from r-ryantm/auto-update/lean ... lean: 3.28.0 -> 3.29.0	2021-04-27 22:28:19 +02:00
erikbackman	95b40e4143	(numworks-epsilon): init at 15.3.2	2021-04-27 19:07:25 +02:00
R. RyanTM	4ccb9422c7	lean: 3.28.0 -> 3.29.0	2021-04-27 05:34:13 +00:00
github-actions[bot]	e30742adc3	Merge staging-next into staging	2021-04-26 12:06:35 +00:00
Vincent Laporte	35dfa0e927	alt-ergo: 2.3.3 → 2.4.0	2021-04-26 08:32:18 +02:00
github-actions[bot]	28c3da370d	Merge staging-next into staging	2021-04-26 06:05:56 +00:00
R. RyanTM	224fc21cc3	tetgen: 1.5.1 -> 1.6.0	2021-04-26 01:32:28 -04:00
github-actions[bot]	8634c6f7d1	Merge staging-next into staging	2021-04-26 00:17:03 +00:00
Mauricio Collares	e1ad2f5aa4	sage: remove cypari2 override ... This reverts commit c12ef05bda.	2021-04-25 18:21:58 -03:00
Michael Raskin	14f65f0dc5	Merge pull request #116365 from omasanori/sage-9.3 ... sage: 9.2 -> 9.3	2021-04-25 21:17:32 +00:00
github-actions[bot]	9a945aac72	Merge staging-next into staging	2021-04-25 18:14:18 +00:00
Eduardo Sánchez Muñoz	6b9e396a07	qalculate-gtk: 3.17.0 -> 3.18.0	2021-04-25 16:17:26 +02:00
github-actions[bot]	944e32775d	Merge staging-next into staging	2021-04-24 00:16:20 +00:00
Alyssa Ross	4f4d95bbc2	Merge remote-tracking branch 'nixpkgs/master' into staging-next ... Conflicts: pkgs/development/python-modules/pyvex/default.nix pkgs/top-level/python-packages.nix	2021-04-23 13:49:12 +00:00
Michael Raskin	2a04a9ce44	Merge pull request #120168 from r-ryantm/auto-update/clingo ... clingo: 5.4.1 -> 5.5.0	2021-04-23 08:51:33 +00:00
github-actions[bot]	0d97d9f23b	Merge staging-next into staging	2021-04-23 00:15:42 +00:00
github-actions[bot]	481a9bc47c	Merge master into staging-next	2021-04-23 00:15:39 +00:00
R. RyanTM	82bc3d6c28	clingo: 5.4.1 -> 5.5.0	2021-04-22 07:44:27 +00:00
R. RyanTM	e230004975	calc: 2.12.9.1 -> 2.13.0.1	2021-04-22 06:59:52 +00:00
Masanori Ogino	090b71f627	sage: 9.2 -> 9.3.rc4 ... Co-authored-by: Mauricio Collares <mauricio@collares.org>	2021-04-22 14:06:56 +09:00
Mauricio Collares	00d2e24395	eclib: 20210223 -> 20190909 ... This reverts commits 003705ef08 and ef615b5a61.	2021-04-22 14:06:56 +09:00
Garaba Flórián	a0f410646c	sage: use threejs fork	2021-04-22 14:06:56 +09:00
Mauricio Collares	090165d7c1	singular: disable vspace on aarch64	2021-04-22 14:06:56 +09:00
Mauricio Collares	cd7cf5942b	singular: use older autoconf macro to unbreak aarch64	2021-04-22 09:01:30 +09:00
Mauricio Collares	aebef1703f	singular: import aarch64 support patch	2021-04-22 09:01:07 +09:00
Timo Kaufmann	ceaf48fdb2	singular: 4.1.1p2 -> 4.2.0p2 ... Adds proper tests. Also removes the "enableFactory" option because singular actually enables factory by default and explicitly disabling it breaks the build. So the option was never really available.	2021-04-22 09:01:07 +09:00
Mauricio Collares	cd215e793a	pynac: 0.7.26 -> 0.7.27	2021-04-22 09:01:07 +09:00
Mauricio Collares	79046fb4f8	gap: 4.10.2 -> 4.11.0	2021-04-22 09:01:07 +09:00
github-actions[bot]	a260b67879	Merge staging-next into staging	2021-04-21 12:06:26 +00:00
github-actions[bot]	9b3e698b14	Merge master into staging-next	2021-04-21 12:06:23 +00:00
Sandro	59f840f3d5	Merge pull request #119055 from eduardosm/kicad	2021-04-21 06:28:21 +02:00
Mario Rodas	8b2b6e4e11	Merge pull request #119682 from marsam/update-beluga ... beluga: 2020-03-11 -> 1.0	2021-04-20 22:22:02 -05:00
github-actions[bot]	6929a896cf	Merge staging-next into staging	2021-04-20 12:06:48 +00:00
github-actions[bot]	960439e003	Merge master into staging-next	2021-04-20 12:06:46 +00:00
Maximilian Bosch	8389dcb67d	Merge pull request #119911 from jbedo/octopus ... octopus: 0.7.1 -> 0.7.3	2021-04-20 10:58:42 +02:00
github-actions[bot]	cf0edc0dea	Merge staging-next into staging	2021-04-20 06:06:28 +00:00
github-actions[bot]	e605a07cc0	Merge master into staging-next	2021-04-20 06:06:25 +00:00
R. RyanTM	44a83a3cb6	gmsh: 4.8.0 -> 4.8.1	2021-04-19 22:37:39 -04:00
Justin Bedo	def7c82f88	octopus: 0.7.1 -> 0.7.3	2021-04-20 10:13:25 +10:00
Jörg Thalheim	b2a1e04eed	Merge remote-tracking branch 'upstream/staging-next' into HEAD	2021-04-17 16:37:04 +02:00
github-actions[bot]	f620e30ca4	Merge master into staging-next	2021-04-17 00:15:03 +00:00
Vincent Laporte	ab16ad8764	coq_8_13: 8.13.1 → 8.13.2	2021-04-16 22:32:31 +02:00
Alyssa Ross	e459db3f81	glsurf: fix license ... The README says GPL 2 or any later version, not LGPL.	2021-04-16 14:06:10 +00:00
Alyssa Ross	70e33e3ae3	glsurf: use current giflib ... This requires bumping the version of camlimages used by glsurf to a version that supports current giflib. The most recent versions of camlimages (even of 4.x) don't support ocaml 4.01 any more, so I've upgraded to 4.1.2 here, the last version that supports ocaml 4.01 (and which happily supports current giflib).	2021-04-16 14:06:10 +00:00