1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

Update developer flake (#36)

Update developer flake
This commit is contained in:
Stefan Ellmauthaler 2022-03-16 15:02:43 +01:00 committed by GitHub
parent 65835b5c81
commit 44d611263f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

18
flake.lock generated
View File

@ -49,11 +49,11 @@
"gitignoresrc": {
"flake": false,
"locked": {
"lastModified": 1635165013,
"narHash": "sha256-o/BdVjNwcB6jOmzZjOH703BesSkkS5O7ej3xhyO8hAY=",
"lastModified": 1646480205,
"narHash": "sha256-kekOlTlu45vuK2L9nq8iVN17V3sB0WWPqTTW3a2SQG0=",
"owner": "hercules-ci",
"repo": "gitignore.nix",
"rev": "5b9e0ff9d3b551234b4f3eb3983744fa354b17f1",
"rev": "bff2832ec341cf30acb3a4d3e2e7f1f7b590116a",
"type": "github"
},
"original": {
@ -64,11 +64,11 @@
},
"nixpkgs": {
"locked": {
"lastModified": 1646162891,
"narHash": "sha256-Yoyur5LD3nRKFZRwVi2lHZi2HKoWUJFAHgIFcYsRhho=",
"lastModified": 1647282937,
"narHash": "sha256-K8Oo6QyFCfiEWTRpQVfzcwI3YNMKlz6Tu8rr+o3rzRQ=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "b099eaa0e01a45fc3459bbe987c3405c425ef05c",
"rev": "64fc73bd74f04d3e10cb4e70e1c65b92337e76db",
"type": "github"
},
"original": {
@ -109,11 +109,11 @@
"nixpkgs": "nixpkgs_2"
},
"locked": {
"lastModified": 1646274381,
"narHash": "sha256-kglX5g7HhSWiTGKz1WOA8DWclj0Wwsq8I50wgY4eS3I=",
"lastModified": 1647397753,
"narHash": "sha256-Q8HjnWFj+Gdx4ElvBiF99xhhZpeGdn1OZsGzyOrg7+Y=",
"owner": "oxalica",
"repo": "rust-overlay",
"rev": "245c2712f502849041a1b1d0cc6a7588e94b2e3f",
"rev": "dcc7af39185159fb2b8356bacca0473804a5b90e",
"type": "github"
},
"original": {