aboutsummaryrefslogtreecommitdiffhomepage
path: root/flake.lock
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2026-01-03 13:27:40 +0900
committernsfisis <nsfisis@gmail.com>2026-01-03 13:27:40 +0900
commitc5d7583bd9febdbb70322c08fc4cacdf2c7d11e5 (patch)
tree6657f991b85592b10d6641426c088d6b6256281a /flake.lock
parentb11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 (diff)
downloadTaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.gz
TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.zst
TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.zip
set up nix flake
Diffstat (limited to 'flake.lock')
-rw-r--r--flake.lock64
1 files changed, 64 insertions, 0 deletions
diff --git a/flake.lock b/flake.lock
new file mode 100644
index 0000000..9b68df8
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,64 @@
+{
+ "nodes": {
+ "flake-utils": {
+ "inputs": {
+ "systems": [
+ "systems"
+ ]
+ },
+ "locked": {
+ "lastModified": 1731533236,
+ "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
+ "owner": "numtide",
+ "repo": "flake-utils",
+ "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
+ "type": "github"
+ },
+ "original": {
+ "owner": "numtide",
+ "repo": "flake-utils",
+ "type": "github"
+ }
+ },
+ "nixpkgs": {
+ "locked": {
+ "lastModified": 1767273430,
+ "narHash": "sha256-kDpoFwQ8GLrPiS3KL+sAwreXrph2KhdXuJzo5+vSLoo=",
+ "owner": "NixOS",
+ "repo": "nixpkgs",
+ "rev": "76eec3925eb9bbe193934987d3285473dbcfad50",
+ "type": "github"
+ },
+ "original": {
+ "owner": "NixOS",
+ "ref": "nixpkgs-unstable",
+ "repo": "nixpkgs",
+ "type": "github"
+ }
+ },
+ "root": {
+ "inputs": {
+ "flake-utils": "flake-utils",
+ "nixpkgs": "nixpkgs",
+ "systems": "systems"
+ }
+ },
+ "systems": {
+ "locked": {
+ "lastModified": 1681028828,
+ "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+ "owner": "nix-systems",
+ "repo": "default",
+ "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+ "type": "github"
+ },
+ "original": {
+ "owner": "nix-systems",
+ "repo": "default",
+ "type": "github"
+ }
+ }
+ },
+ "root": "root",
+ "version": 7
+}