18eb0b0cf3
agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a
3 years ago
95d62a696c
agdaPackages.standard-library: 1.7 -> 1.7.1
3 years ago
1929ba1625
agdaPackages.agda-prelude: compat-2.6.1 -> compat-2.6.2
3 years ago
2e5ce8930c
agdaPackages.agdarsec: Init at 0.4.1
3 years ago
721475c83b
agdaPackages.functional-linear-algebra 0.3->0.4
3 years ago
b0284395a6
agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1
3 years ago
9d4867074b
Agda: mark packages as broken until 2.6.2 compatible release is made
...
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
3 years ago
cdac06c9bb
Agda cubical 2.6.2 fix ( #131280 )
...
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
3 years ago
36935f9736
agdaPackages.cubical: 0.2 -> 0.3pred5030a9
...
0.2 does not build with agda 2.6.2
3 years ago
6721ae424a
agdaPackages.iowa-stdlib: Remove hydraPlatforms
...
They are set automatically in the agda packages builder.
3 years ago
c64ddc2071
agdaPackages.iowa-stdlib: don't try to build on Hydra
...
It's marked as broken which always creates a lot of clutter in hydra
evaluation error pages, so we'll just set hydraPlatforms = [] for now.
3 years ago
27ff64e919
agdaPackages.standard-library: 1.6 -> 1.7
3 years ago
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
3 years ago
0e162b97d6
agda nixos test: add to passthru for agda + stdlib
3 years ago
0c3b6defc1
agdaPackages.agda-categories: 0.1.4 -> 0.1.5
3 years ago
01bb748cb4
agdaPackages.generic: 0.1.0.1 -> 0.1.0.2
3 years ago
ec52278ea1
agdaPackages.functional-linear-algebra: 0.1 -> 0.2
3 years ago
5465e6e8ef
agdaPackages.standard-library: 1.4 -> 1.5
3 years ago
a6ce00c50c
treewide: remove stdenv where not needed
3 years ago
688ebdc77d
agdaPackages.standard-library: don't install Everything files
3 years ago
66e44425c6
pkgs/development/libraries: stdenv.lib -> lib
3 years ago
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
4 years ago
3da3661ad3
agdaPackages.agda-categories: 1.3.1 -> 1.4
4 years ago
6e1ce8ca07
agdaPackages.generic: 0.1 -> 0.1.0.1
4 years ago
29684ee617
agdaPackages.standard-library: 1.3 -> 1.4
4 years ago
c78dc9cf5b
agda-packages: add fla library at v0.1
...
Adds the functional-linear-algebra library to the agda package set.
4 years ago
8735356e27
agda-prelude: compat-2.6.0 -> compat-2.6.1
4 years ago
c63ece0998
agdaPackages.generic: init at v0.1
4 years ago
fa3bd91478
agda-categories: 0.1 -> 0.1.3.1
4 years ago
f7ad47a8f6
agdaPackages.cubical: init at 0.2 ( #76994 )
...
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
4 years ago
8ee4c3698c
Agda: Add turion as maintainer
4 years ago
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.
4 years ago
1175065111
agda.iowa-stdlib: mark broken
4 years ago
a7cd372a3e
agda.standard-library: 1.1 -> 1.3
4 years ago
6c1cdedb6d
agda-categories: init at 0.1
4 years ago
c2814be3a3
agda-prelude: update
4 years ago
d30e2468e0
agda: rework builder
4 years ago
6cbaa256fa
agda-base: remove broken package
4 years ago
a519f22c03
bitvector: remove broken package
4 years ago
36840c5ff7
categories: remove broken package
4 years ago
781a9273a8
pretty: remove broken package
4 years ago
99fa0644c9
Agda-Sheaves: remove broken package
4 years ago
229ef0ea8a
TotalParserCombinators: remove broken package
4 years ago
8998be8efb
AgdaStdlib: update homepage link to use HTTPS
4 years ago
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
2d2146b1fe
agda-stdlib: list as not broken on Darwin ( #76485 )
5 years ago
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.
5 years ago
fcf752c8b3
agdaPrelude: 0dca24a81 -> eacc961c2
...
https://hydra.nixos.org/build/98865987
5 years ago
d215144cc9
agdaIowaStdlib: 1.4.0 -> 1.5.0
...
https://hydra.nixos.org/build/98831905
5 years ago
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
5 years ago
Ingo Blechschmidt