dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

agdaPackages._1lab: unstable-2023-10-11 -> unstable-2023-12-04

Browse Source
This commit is contained in:
Naïm Favier 2023-12-07 14:04:26 +01:00
parent 9f9ad84bd0
commit 0ae13741a8
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/libraries/agda/1lab/default.nix
View File

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "1lab";
version = "unstable-2023-10-11";
version = "unstable-2023-12-04";
src = fetchFromGitHub {
owner = "plt-amy";
repo = pname;
rev = "c6e0c3c714486fd6c89ace31443428ba48871685";
hash = "sha256-PC75NtT0e99HVyFedox+6xz/CY2zP2g4Vzqruj5Bjhc=";
rev = "47c2a96220b4d14419e5ddb973bc1fa06933e723";
hash = "sha256-0U6s6sXdynk2IWRBDXBJCf7Gc+gE8AhR1PXZl0DS4yU=";
};
# We don't need anything in support; avoid installing LICENSE.agda
@ -16,7 +16,7 @@ mkDerivation rec {
rm -rf support
'';
libraryName = "cubical-1lab";
libraryName = "1lab";
libraryFile = "1lab.agda-lib";
everythingFile = "src/index.lagda.md";