Commit graph

73 commits

Author SHA1 Message Date
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
R. RyanTM
b1af75fcb4 AgdaStdlib: 1.0.1 -> 1.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
2019-08-17 12:04:13 -07:00
Alex Rice
8edeb925d2 adga-stdlib: 1.0 -> 1.0.1 2019-07-21 08:32:54 +02:00
Yurii Rashkovskii
7ad178d8d9
AgdaStdlib: 0.17 -> 1.0 2019-04-18 16:12:54 +07:00
R. RyanTM
0134db94d9 AgdaStdlib: 0.16.1 -> 0.17
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
2018-12-16 11:14:28 -08:00
Matthew Pickering
561fcf4c82 agdaIowaStdlib: 18734 -> 1.4.0 2018-10-14 19:17:01 +00:00
R. RyanTM
7c5bc4fb92 AgdaStdlib: 0.16 -> 0.16.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
2018-09-25 08:14:48 -07:00
James Wood
9934f0bb51 AgdaStdlib: 0.15 -> 0.16 (#44550) 2018-08-06 18:39:11 +02:00
Matthew Bauer
fb1852f424 agda-stdlib: broken on darwin 2018-06-23 17:50:00 -04:00
xeji
bc17a66732 pretty: mark as broken 2018-04-12 23:04:03 +02:00
Ryan Mulligan
7770e378a1 AgdaStdlib: 0.14 -> 0.15
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15
- directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb
2018-03-19 21:03:33 -07:00
Unai Zalakain
2ba02c57e8
AgdaStdlib: 0.13 -> 0.14 2017-09-26 20:35:11 +01:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
2017-08-01 22:03:30 +02:00
laMudri
5683311b7c AgdaStdlib: v0.12 -> v0.13 2016-12-24 21:53:28 +00:00
laMudri
28f4f15777 Agda: marked some old packages as broken 2016-06-07 11:19:12 +01:00
laMudri
949ede3d2f agda-prelude: 2014-09-27 -> 2016-04-18 2016-06-07 11:19:12 +01:00
laMudri
2e712b501c agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1) 2016-06-07 11:17:37 +01:00
Tuomas Tynkkynen
bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Joachim Fasting
6a2244e8f4
Revert "Merge pull request #15595 from laMudri/agda-stdlib"
This reverts commit ce4f6c215f, reversing
changes made to 7817d0901d.

See 68e1419cb8 (r64175487)
2016-05-23 09:07:02 +02:00
laMudri
6343cf8ae7 Agda: marked some old packages as broken 2016-05-21 23:24:49 +01:00
laMudri
92b843f9a5 agda-prelude: 2014-09-27 -> 2016-04-18 2016-05-21 17:27:31 +01:00