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 library versions

Browse source
This commit is contained in:
Leon Vatthauer 2024-01-24 14:04:07 +01:00
parent be2d12cbf1
commit 6ba246ee53
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
3 changed files with 35 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
agda/flake.lock
View file

@ -20,16 +20,16 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1698288402, "lastModified": 1705916986,
"narHash": "sha256-jIIjApPdm+4yt8PglX8pUOexAdEiAax/DXW3S/Mb21E=", "narHash": "sha256-iBpfltu6QvN4xMpen6jGGEb6jOqmmVQKUrXdOJ32u8w=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "60b9db998f71ea49e1a9c41824d09aa274be1344", "rev": "d7f206b723e42edb09d9d753020a84b3061a79d8",
"type": "github" "type": "github"
}, },
"original": { "original": {
"owner": "NixOS", "owner": "NixOS",
"ref": "nixos-23.05", "ref": "nixos-23.11",
"repo": "nixpkgs", "repo": "nixpkgs",
"type": "github" "type": "github"
} }

2
agda/flake.nix
View file

@ -1,7 +1,7 @@
{ {
description = "Flake for compiling my bachelor's thesis"; description = "Flake for compiling my bachelor's thesis";
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-23.05"; inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixos-23.11";
inputs.flake-utils.url = "github:numtide/flake-utils"; inputs.flake-utils.url = "github:numtide/flake-utils";
outputs = { self, nixpkgs, flake-utils }: outputs = { self, nixpkgs, flake-utils }:

35
agda/shell.nix
View file

@ -3,15 +3,40 @@ with pkgs;
mkShell { mkShell {
buildInputs = [ buildInputs = [
(agda.withPackages [ (agda.withPackages [
agdaPackages.standard-library (agdaPackages.standard-library.overrideAttrs (oldAttrs: {
version = "2.0";
src = fetchFromGitHub {
repo = "agda-stdlib";
owner = "agda";
rev = "v2.0";
hash = "sha256-TjGvY3eqpF+DDwatT7A78flyPcTkcLHQ1xcg+MKgCoE=";
};
}))
(agdaPackages.agda-categories.overrideAttrs (oldAttrs : { (agdaPackages.agda-categories.overrideAttrs (oldAttrs : {
version = "0.1.8"; version = "0.2.0";
src = fetchFromGitHub { src = fetchFromGitHub {
repo = "agda-categories"; repo = "agda-categories";
owner = "Reijix"; owner = "agda";
rev = "102a0c46c7c9be4e47085b745abd1c486b86f0e7"; rev = "v0.2.0";
hash = "sha256-1LzbtsqEPSfAyOztqNOG/pT6g1zsyc6lY2NwQqBZQZ8="; hash = "sha256-pGwR5nPDlBwL4NbFBAZr8ZtR66qdqTm+Cd3OePjbTys=";
}; };
# without this nix might use a wrong version of the stdlib to try and typecheck agda-categories
buildInputs = [
(agda.withPackages [
(agdaPackages.standard-library.overrideAttrs (oldAttrs: {
version = "2.0";
src = fetchFromGitHub {
repo = "agda-stdlib";
owner = "agda";
rev = "v2.0";
hash = "sha256-TjGvY3eqpF+DDwatT7A78flyPcTkcLHQ1xcg+MKgCoE=";
};
}))
])
];
GHCRTS = "-M6G";
})) }))
]) ])
]; ];