| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-07-16 | agdaPackages: switch to `--build-library` | Naïm Camille Favier |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2023-12-23 | agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0 | Naïm Favier |
| 2023-11-19 | functional-linear-algebra: 0.4->0.4.1 | Ryan Orendorff |
| 2023-10-24 | agdaPackages.{agda-prelude,functional-linear-algebra}: mark as broken | Naïm Favier |
| 2021-07-27 | agdaPackages.functional-linear-algebra 0.3->0.4 | Ryan Orendorff |
| 2021-07-26 | Agda: mark packages as broken until 2.6.2 compatible release is made | Alex Rice |
| 2021-04-23 | agdaPackages.standard-library: 1.5 -> 1.6 (#120180) | Manuel Bärenz |
| 2021-01-27 | agdaPackages.functional-linear-algebra: 0.1 -> 0.2 | Ingo Blechschmidt |
| 2021-01-25 | treewide: remove stdenv where not needed | Pavol Rusnak |
| 2021-01-21 | pkgs/development/libraries: stdenv.lib -> lib | Ben Siraphob |
| 2020-10-15 | agda-packages: add fla library at v0.1 | Ryan Orendorff |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |