leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

updated agda-cat

Browse source
This commit is contained in:
Leon Vatthauer 2024-01-29 15:42:18 +01:00
parent 2dc6420a35
commit 8241082f3f
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
agda/shell.nix
View file

@ -17,7 +17,7 @@ mkShell {
src = fetchFromGitHub { src = fetchFromGitHub {
repo = "agda-categories"; repo = "agda-categories";
owner = "agda"; owner = "agda";
rev = "v0.2.0"; rev = "a1c797e935432702d25fd729802aeb155b423761";
hash = "sha256-pGwR5nPDlBwL4NbFBAZr8ZtR66qdqTm+Cd3OePjbTys="; hash = "sha256-pGwR5nPDlBwL4NbFBAZr8ZtR66qdqTm+Cd3OePjbTys=";
}; };