carbon: +prop-solveur

This commit is contained in:
Primrose 2024-09-11 15:31:18 +02:00
parent 03e7f33043
commit 99262680b0
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
4 changed files with 22 additions and 8 deletions

22
flake.lock generated
View file

@ -591,6 +591,22 @@
}
},
"nixpkgs_5": {
"locked": {
"lastModified": 1704631721,
"narHash": "sha256-UGNXoKszQq5Xf1SWQp4U9YpAqzUyBsi46D05de7sd2M=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "edebca765c17d551b9634c02f6a02f1b122e0ba0",
"type": "github"
},
"original": {
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "edebca765c17d551b9634c02f6a02f1b122e0ba0",
"type": "github"
}
},
"nixpkgs_6": {
"locked": {
"lastModified": 1706487304,
"narHash": "sha256-LE8lVX28MV2jWJsidW13D2qrHU/RUUONendL2Q/WlJg=",
@ -691,9 +707,7 @@
"prop-solveur": {
"inputs": {
"flake-utils": "flake-utils",
"nixpkgs": [
"nixpkgs-stable"
]
"nixpkgs": "nixpkgs_5"
},
"locked": {
"lastModified": 1717355003,
@ -731,7 +745,7 @@
"rust-overlay": {
"inputs": {
"flake-utils": "flake-utils_2",
"nixpkgs": "nixpkgs_5"
"nixpkgs": "nixpkgs_6"
},
"locked": {
"lastModified": 1715393623,