{"name":"coqPackages.reglang","version":"1.2.2","summary":"Regular Language Representations in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.reglang"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/ypcbjgr3aqxcqdnkvjrl2rqmfmipjq2s-coq9.1-reglang-1.2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.reglang"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/h9a0siabpac7djcaxz21v32m08vgy56i-coq9.1-reglang-1.2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"coqPackages.reglang"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/hi3di86f6b0pvb0cp7kqy8wxw7k4k7jd-coq9.1-reglang-1.2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.reglang"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/5hy723zpfwvw3s0ycbg6wkqph6vwy8ln-coq9.1-reglang-1.2.2","default":true}]}}}