Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-02-14 | agda: 2.6.2.2 -> 2.6.3 | Ingo Blechschmidt | 4 | -16/+22 | |
2023-01-12 | agdaPackages.cubical: clean up | Naïm Favier | 1 | -6/+6 | |
- 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 | |||||
2022-12-01 | agdaPackages.cubical: 0.4prec3e097a -> 0.4 | Alex Rice | 1 | -3/+3 | |
2021-12-13 | agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a | Ingo Blechschmidt | 1 | -3/+3 | |
2021-11-29 | agdaPackages.standard-library: 1.7 -> 1.7.1 | Ingo Blechschmidt | 2 | -2/+9 | |
2021-10-06 | Merge pull request #100351 from turion/dev_add_agdarsec | Anderson Torres | 1 | -0/+28 | |
agdarsec: init at 0.4.1 | |||||
2021-10-06 | agdaPackages.agda-prelude: compat-2.6.1 -> compat-2.6.2 | Manuel Bärenz | 1 | -4/+2 | |
2021-08-30 | agdaPackages.agdarsec: Init at 0.4.1 | Manuel Bärenz | 1 | -0/+28 | |
2021-07-27 | agdaPackages.functional-linear-algebra 0.3->0.4 | Ryan Orendorff | 1 | -4/+2 | |
2021-07-26 | agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1 | Manuel Bärenz | 1 | -4/+2 | |
2021-07-26 | Agda: mark packages as broken until 2.6.2 compatible release is made | Alex Rice | 4 | -0/+8 | |
Co-authored-by: sternenseemann <sternenseemann@systemli.org> | |||||
2021-07-24 | Agda cubical 2.6.2 fix (#131280) | Guilherme Silva | 1 | -0/+2 | |
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com> | |||||
2021-07-23 | agdaPackages.cubical: 0.2 -> 0.3pred5030a9 | Shea Levy | 1 | -5/+3 | |
0.2 does not build with agda 2.6.2 | |||||
2021-07-15 | agdaPackages.standard-library: 1.6 -> 1.7 | Manuel Bärenz | 1 | -3/+3 | |
2021-04-23 | agdaPackages.standard-library: 1.5 -> 1.6 (#120180) | Manuel Bärenz | 3 | -6/+6 | |
* 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-03-30 | agda nixos test: add to passthru for agda + stdlib | Alex Rice | 1 | -1/+2 | |
2021-02-03 | Merge pull request #110830 from iblech/patch-agdastdlib15 | Anderson Torres | 4 | -9/+13 | |
agdaPackages.standard-library: 1.4 -> 1.5 | |||||
2021-02-03 | Merge pull request #110512 from neosimsim/agda-dont-install-Everything | Anderson Torres | 1 | -0/+3 | |
Agda don't install Everything module | |||||
2021-02-03 | agdaPackages.agda-categories: 0.1.4 -> 0.1.5 | Ingo Blechschmidt | 1 | -2/+2 | |
2021-01-27 | agdaPackages.generic: 0.1.0.1 -> 0.1.0.2 | Ingo Blechschmidt | 1 | -3/+3 | |
2021-01-27 | agdaPackages.functional-linear-algebra: 0.1 -> 0.2 | Ingo Blechschmidt | 1 | -2/+6 | |
2021-01-27 | agdaPackages.standard-library: 1.4 -> 1.5 | Ingo Blechschmidt | 1 | -2/+2 | |
2021-01-25 | treewide: remove stdenv where not needed | Pavol Rusnak | 4 | -4/+4 | |
2021-01-24 | agdaPackages.standard-library: don't install Everything files | Alexander Ben Nasrallah | 1 | -0/+3 | |
2021-01-21 | pkgs/development/libraries: stdenv.lib -> lib | Ben Siraphob | 4 | -13/+13 | |
2020-11-01 | agda-categories: fix hash | Ingo Blechschmidt | 1 | -1/+1 | |
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-10-19 | agdaPackages.agda-categories: 1.3.1 -> 1.4 | Manuel Bärenz | 1 | -2/+2 | |
2020-10-19 | agdaPackages.generic: 0.1 -> 0.1.0.1 | Manuel Bärenz | 1 | -3/+3 | |
2020-10-19 | agdaPackages.standard-library: 1.3 -> 1.4 | Manuel Bärenz | 1 | -2/+2 | |
2020-10-15 | agda-packages: add fla library at v0.1 | Ryan Orendorff | 1 | -0/+26 | |
Adds the functional-linear-algebra library to the agda package set. | |||||
2020-08-12 | Merge pull request #95059 from alexarice/agda-generic | Nick Hu | 1 | -0/+31 | |
agdaPackages.generic: init at v0.1 | |||||
2020-08-12 | Merge pull request #90161 from alexarice/agda-categories | Nick Hu | 1 | -8/+3 | |
agda-categories: 0.1 -> 0.1.3.1 | |||||
2020-08-10 | agda-prelude: compat-2.6.0 -> compat-2.6.1 | Alex Rice | 1 | -6/+2 | |
2020-08-10 | agdaPackages.generic: init at v0.1 | Alex Rice | 1 | -0/+31 | |
2020-06-11 | agda-categories: 0.1 -> 0.1.3.1 | Alex Rice | 1 | -8/+3 | |
2020-05-19 | agdaPackages.cubical: init at 0.2 (#76994) | Ryan Orendorff | 1 | -0/+33 | |
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk> | |||||
2020-05-14 | Agda: Add turion as maintainer | Alex Rice | 4 | -4/+4 | |
2020-05-14 | iowa-stdlib: update homepage URL | Keshav Kini | 1 | -1/+1 | |
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 | agda.iowa-stdlib: mark broken | Alex Rice | 1 | -0/+2 | |
2020-05-14 | agda.standard-library: 1.1 -> 1.3 | Alex Rice | 1 | -2/+2 | |
2020-05-14 | agda-categories: init at 0.1 | Alex Rice | 1 | -0/+28 | |
2020-05-14 | agda-prelude: update | Alex Rice | 1 | -3/+12 | |
2020-05-14 | agda: rework builder | Alex Rice | 3 | -20/+20 | |
2020-04-25 | agda-base: remove broken package | Alex Rice | 1 | -23/+0 | |
2020-04-25 | bitvector: remove broken package | Alex Rice | 1 | -24/+0 | |
2020-04-25 | categories: remove broken package | Alex Rice | 1 | -24/+0 | |
2020-04-25 | pretty: remove broken package | Alex Rice | 2 | -69/+0 | |
2020-04-25 | Agda-Sheaves: remove broken package | Alex Rice | 1 | -24/+0 | |
2020-04-25 | TotalParserCombinators: remove broken package | Alex Rice | 2 | -285/+0 | |
2020-04-24 | AgdaStdlib: update homepage link to use HTTPS | Konrad Borowski | 1 | -1/+1 | |