Naïm Favier
8c9c19b5a9
agdaPackages._1lab: init at unstable-2023-03-07
...
https://github.com/plt-amy/1lab
2023-08-06 12:49:13 +02:00
Naïm Favier
963278d147
agdaPackages.cubical: unstable-2023-02-09 -> 0.5
...
https://github.com/agda/cubical/releases/tag/v0.5
2023-07-05 11:14:29 +02:00
Ingo Blechschmidt
168d9a5f1e
agda: 2.6.2.2 -> 2.6.3
2023-02-14 14:45:39 +01:00
Naïm Favier
1bc5ddcff4
agdaPackages.cubical: clean up
...
- use `C.UTF-8` so that we don't have to depend on glibcLocales
- remove now unnecessary AGDA_EXEC
- run pre/post-build hooks
- add ncfavier as maintainer
2023-01-12 18:32:26 +01:00
Alex Rice
3a61d6d707
agdaPackages.cubical: 0.4prec3e097a -> 0.4
2022-12-01 15:53:35 +00:00
Ingo Blechschmidt
18eb0b0cf3
agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a
2021-12-13 13:02:58 +01:00
Ingo Blechschmidt
95d62a696c
agdaPackages.standard-library: 1.7 -> 1.7.1
2021-11-29 09:21:23 +01:00
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