dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
601,299 Commits 3 Branches 0 Tags 4.3 GiB
6e147dce88
Commit Graph

116 Commits

Author SHA1 Message Date
Jussi Kuokkanen
82b45bf454 treewide: remove licenses.agpl3 2024-03-21 18:09:24 +02:00
Philipp Joram
54c160c74f agdaPackages.cubical: add maintainer phijor 2024-02-18 00:23:06 +02:00
Naïm Favier
eac58d0eeb
agdaPackages.cubical: 0.6 -> 0.7 
https://github.com/agda/cubical/releases/tag/v0.7
 2024-02-12 11:27:39 +01:00
Naïm Favier
db876bc6f6
agdaPackages._1lab: disable debug printing 2024-01-06 15:00:52 +01:00
Naïm Favier
ca89b111a5
agdaPackages.agdarsec: mark as broken 2023-12-27 12:17:49 +01:00
Naïm Favier
5692c3bc50
agdaPackages.agda-categories: 0.1.7.2 -> 0.2.0 
https://github.com/agda/agda-categories/releases/tag/v0.2.0
 2023-12-27 01:13:31 +01:00
Naïm Favier
4c395aa8e3
agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0 
https://github.com/ryanorendorff/functional-linear-algebra/releases/tag/v0.5.0
 2023-12-23 21:52:05 +01:00
Naïm Favier
38baa1f3af
agdaPackages.standard-library: 1.7.3 -> 2.0 
https://github.com/agda/agda-stdlib/blob/v2.0/CHANGELOG.md
 2023-12-12 16:10:13 +01:00
Naïm Favier
0ae13741a8
agdaPackages._1lab: unstable-2023-10-11 -> unstable-2023-12-04 2023-12-07 14:04:26 +01:00
Ryan Orendorff
6794de08f7 functional-linear-algebra: 0.4->0.4.1 2023-11-19 20:44:47 -07:00
Naïm Favier
1df768573b
agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04 2023-10-25 14:08:28 +02:00
Naïm Favier
57eea05583
agdaPackages.cubical: 0.5 -> 0.6 
https://github.com/agda/cubical/releases/tag/v0.6
 2023-10-24 20:34:06 +02:00
Naïm Favier
8b59b95f25
agdaPackages.{agda-prelude,functional-linear-algebra}: mark as broken 2023-10-24 20:34:06 +02:00
Naïm Favier
170a9778b4
agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11 2023-10-24 20:34:06 +02:00
Naïm Favier
ae86b08869
agdaPackages.agda-categories: 0.1.7.1a -> 0.1.7.2 
https://github.com/agda/agda-categories/releases/tag/v0.1.7.2
 2023-10-24 20:34:06 +02:00
Naïm Favier
e8bf86a523
agdaPackages.standard-library: 1.7.2 -> 1.7.3 
https://github.com/agda/agda-stdlib/releases/tag/v1.7.3
 2023-10-24 20:34:05 +02:00
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