93 Commits

Author	SHA1	Message	Date
Anderson Torres	d3ee4ba650	Merge pull request #100351 from turion/dev_add_agdarsec ... agdarsec: init at 0.4.1	2021-10-06 17:48:25 -03:00
Manuel Bärenz	1929ba1625	agdaPackages.agda-prelude: compat-2.6.1 -> compat-2.6.2	2021-10-06 15:21:10 +02:00
Manuel Bärenz	2e5ce8930c	agdaPackages.agdarsec: Init at 0.4.1	2021-08-30 09:20:45 +02:00
Ryan Orendorff	721475c83b	agdaPackages.functional-linear-algebra 0.3->0.4	2021-07-27 10:14:32 -06:00
Manuel Bärenz	b0284395a6	agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1	2021-07-26 14:52:32 +02:00
Alex Rice	9d4867074b	Agda: mark packages as broken until 2.6.2 compatible release is made ... Co-authored-by: sternenseemann <sternenseemann@systemli.org>	2021-07-26 11:41:06 +02:00
Guilherme Silva	cdac06c9bb	Agda cubical 2.6.2 fix (#131280) ... Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>	2021-07-24 06:46:44 +01:00
Shea Levy	36935f9736	agdaPackages.cubical: 0.2 -> 0.3pred5030a9 ... 0.2 does not build with agda 2.6.2	2021-07-23 07:42:26 -04:00
Manuel Bärenz	27ff64e919	agdaPackages.standard-library: 1.6 -> 1.7	2021-07-15 10:25:44 +02:00
Manuel Bärenz	a773d882d1	agdaPackages.standard-library: 1.5 -> 1.6 (#120180) ... * agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.6	2021-04-23 12:06:31 -04:00
Alex Rice	0e162b97d6	agda nixos test: add to passthru for agda + stdlib	2021-03-30 13:54:02 +01:00
Anderson Torres	519c4f1727	Merge pull request #110830 from iblech/patch-agdastdlib15 ... agdaPackages.standard-library: 1.4 -> 1.5	2021-02-03 15:56:55 -03:00
Anderson Torres	8bf1bc692c	Merge pull request #110512 from neosimsim/agda-dont-install-Everything ... Agda don't install Everything module	2021-02-03 15:56:34 -03:00
Ingo Blechschmidt	0c3b6defc1	agdaPackages.agda-categories: 0.1.4 -> 0.1.5	2021-02-03 09:31:12 +01:00
Ingo Blechschmidt	01bb748cb4	agdaPackages.generic: 0.1.0.1 -> 0.1.0.2	2021-01-27 14:07:52 +01:00
Ingo Blechschmidt	ec52278ea1	agdaPackages.functional-linear-algebra: 0.1 -> 0.2	2021-01-27 14:07:49 +01:00
Ingo Blechschmidt	5465e6e8ef	agdaPackages.standard-library: 1.4 -> 1.5	2021-01-27 14:06:34 +01:00
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Alexander Ben Nasrallah	688ebdc77d	agdaPackages.standard-library: don't install Everything files	2021-01-24 17:30:02 +01:00
Ben Siraphob	66e44425c6	pkgs/development/libraries: stdenv.lib -> lib	2021-01-21 19:11:02 -08:00
Ingo Blechschmidt	efa79e6e53	agda-categories: fix hash ... Apparently, v0.1.4 was released twice. The current version of the build points to the first edition of v0.1.4, which is no longer attached to the tag "v0.1.4" on GitHub. Hence currently, downloading fails. This commit adjusts the hash to appropriately refer to the second edition of v0.1.4	2020-11-01 10:33:06 +01:00
Manuel Bärenz	3da3661ad3	agdaPackages.agda-categories: 1.3.1 -> 1.4	2020-10-19 12:27:46 +02:00
Manuel Bärenz	6e1ce8ca07	agdaPackages.generic: 0.1 -> 0.1.0.1	2020-10-19 12:27:31 +02:00
Manuel Bärenz	29684ee617	agdaPackages.standard-library: 1.3 -> 1.4	2020-10-19 09:26:52 +02:00
Ryan Orendorff	c78dc9cf5b	agda-packages: add fla library at v0.1 ... Adds the functional-linear-algebra library to the agda package set.	2020-10-15 10:54:22 -06:00
Nick Hu	97538a9a55	Merge pull request #95059 from alexarice/agda-generic ... agdaPackages.generic: init at v0.1	2020-08-12 21:49:11 +01:00
Nick Hu	0277b9dcf5	Merge pull request #90161 from alexarice/agda-categories ... agda-categories: 0.1 -> 0.1.3.1	2020-08-12 21:46:47 +01:00
Alex Rice	8735356e27	agda-prelude: compat-2.6.0 -> compat-2.6.1	2020-08-10 15:07:49 +01:00
Alex Rice	c63ece0998	agdaPackages.generic: init at v0.1	2020-08-10 14:56:23 +01:00
Alex Rice	fa3bd91478	agda-categories: 0.1 -> 0.1.3.1	2020-06-11 23:02:56 +01:00
Ryan Orendorff	f7ad47a8f6	agdaPackages.cubical: init at 0.2 (#76994) ... Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>	2020-05-19 13:20:35 -04:00
Alex Rice	8ee4c3698c	Agda: Add turion as maintainer	2020-05-14 20:54:12 +01:00
Keshav Kini	43fb96efe8	iowa-stdlib: update homepage URL ... The old homepage URL, which was hosted inside the old SVN server, isn't publicly accessible anymore. Since the project has officially moved to github, it seems better to set the github repo as the homepage.	2020-05-14 20:54:12 +01:00
Alex Rice	1175065111	agda.iowa-stdlib: mark broken	2020-05-14 20:54:12 +01:00
Alex Rice	a7cd372a3e	agda.standard-library: 1.1 -> 1.3	2020-05-14 20:54:12 +01:00
Alex Rice	6c1cdedb6d	agda-categories: init at 0.1	2020-05-14 20:54:12 +01:00
Alex Rice	c2814be3a3	agda-prelude: update	2020-05-14 20:54:11 +01:00
Alex Rice	d30e2468e0	agda: rework builder	2020-05-14 20:54:11 +01:00
Alex Rice	6cbaa256fa	agda-base: remove broken package	2020-04-25 09:56:53 +01:00
Alex Rice	a519f22c03	bitvector: remove broken package	2020-04-25 09:56:53 +01:00
Alex Rice	36840c5ff7	categories: remove broken package	2020-04-25 09:56:52 +01:00
Alex Rice	781a9273a8	pretty: remove broken package	2020-04-25 09:56:52 +01:00
Alex Rice	99fa0644c9	Agda-Sheaves: remove broken package	2020-04-25 09:56:52 +01:00
Alex Rice	229ef0ea8a	TotalParserCombinators: remove broken package	2020-04-25 09:56:52 +01:00
Konrad Borowski	8998be8efb	AgdaStdlib: update homepage link to use HTTPS	2020-04-24 19:44:59 -07:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Ryan Orendorff	2d2146b1fe	agda-stdlib: list as not broken on Darwin (#76485)	2019-12-25 21:22:29 +02:00
Mateusz Kowalczyk	1451a52a38	Remove myself (fuuzetsu) from maintainer lists ... I haven't been doing any maintenance for a long time now and not only do I get notified, it also creates a fake impression that all these packages had at least one maintainer when in practice they had none.	2019-12-05 16:29:48 +09:00
danbst	fcf752c8b3	agdaPrelude: 0dca24a81 -> eacc961c2 ... https://hydra.nixos.org/build/98865987	2019-08-20 17:42:40 +03:00
danbst	d215144cc9	agdaIowaStdlib: 1.4.0 -> 1.5.0 ... https://hydra.nixos.org/build/98831905	2019-08-20 17:32:20 +03:00