| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-03-18 | agda: Remove the --local-interfaces flag | ibbem | 1 | -7/+0 |
| 2022-03-28 | treewide: machine -> nodes.machine | Robert Hensing | 1 | -1/+1 |
| 2021-07-15 | nixosTests.agda: Adapt to --guardedness requirements | Manuel Bärenz | 1 | -4/+1 |
| 2021-03-17 | agda nixos test: fix hello world program | Alex Rice | 1 | -1/+2 |
| 2021-02-03 | Merge pull request #110512 from neosimsim/agda-dont-install-Everything | Anderson Torres | 1 | -0/+7 |
| 2021-01-24 | agdaPackages.mkDerivation: don't install Everything module | Alexander Ben Nasrallah | 1 | -0/+7 |
| 2021-01-24 | nixos/tests/agda: check execution of HelloWorld | Alexander Ben Nasrallah | 1 | -0/+4 |
| 2021-01-10 | treewide: simplify pkgs.stdenv.lib -> pkgs.lib | Dominik Xaver Hörl | 1 | -1/+1 |
| 2020-09-18 | tests/agda: Fix comment | Manuel Bärenz | 1 | -1/+1 |
| 2020-05-14 | agda: Added test | Manuel Bärenz | 1 | -0/+41 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |