{"name":"emacsPackages.lambdapi-mode","summary":"","description":"","homepage_url":"https://github.com/Deducteam/lambdapi","license":"","attribute_paths":["emacsPackages.lambdapi-mode"],"releases":[{"version":"20260825.821","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ly1lhq9bhf9ir8rqw5jhdy42j5nl7c6f-emacs-lambdapi-mode-20260825.821","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zrrir711wjzcmaqqbvwvkjw9k3iv2b67-emacs-lambdapi-mode-20260825.821","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/kc7ar5xpd8a7d6v5cr6bx7vw8z8pf4qw-emacs-lambdapi-mode-20260825.821","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260701.916","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/fzddzmmb6pypn5dz73n2yaqdc391c3s5-emacs-lambdapi-mode-20260701.916","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/m2wflym2xhniwfzbzphbklwskmbgmbd3-emacs-lambdapi-mode-20260701.916","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/1w5hwzic87vmp913f88a523nwrdvb0p2-emacs-lambdapi-mode-20260701.916","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260624.735","last_updated":"2026-07-08T21:13:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/0c38akixw2hmgfhqw3caypw9y8m8jk2x-emacs-lambdapi-mode-20260624.735","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/5b3gs8a48b3dxlsxak8r1r1md51ffj36-emacs-lambdapi-mode-20260624.735","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/2y177mdbqd94xrba2rz2mzmx6pq1ik2i-emacs-lambdapi-mode-20260624.735","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/c2f2wclf6i0j5s6ndl00wc01qkrjqdi1-emacs-lambdapi-mode-20260624.735","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260423.1057","last_updated":"2026-06-12T02:02:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/4xbh11jcrxhwpz11k57w076hh389dpk3-emacs-lambdapi-mode-20260423.1057","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/v62x4nshzi42nwmhx2rc6xhlp1hmjlja-emacs-lambdapi-mode-20260423.1057","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/chwfjxvd5rl1n54a3p7y08m0v1srcliz-emacs-lambdapi-mode-20260423.1057","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/f226p493i11ppz9vd721abd8a5zs7f8d-emacs-lambdapi-mode-20260423.1057","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260329.807","last_updated":"2026-04-23T13:07:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/9h226zknpv99b6kk8rjsirwb7yhl0d8l-emacs-lambdapi-mode-20260329.807","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/yvdxr41phq6cd9kvnwhldygi4qib7d1s-emacs-lambdapi-mode-20260329.807","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/fcd5783g8k5aq2iy0q902m6100wldf9y-emacs-lambdapi-mode-20260329.807","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/svv6bchhzlvbql88as9w35s3wznr06xh-emacs-lambdapi-mode-20260329.807","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260203.1712","last_updated":"2026-03-27T11:17:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"832efc09b4caf6b4569fbf9dc01bec3082a00611","date":"2026-03-27T11:17:38Z","outputs":[{"name":"out","path":"/nix/store/z6mp7sdmzpbjwdbd23kj4wfl7zykzq37-emacs-lambdapi-mode-20260203.1712","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"832efc09b4caf6b4569fbf9dc01bec3082a00611","date":"2026-03-27T11:17:38Z","outputs":[{"name":"out","path":"/nix/store/g9g6zaixfrb7jlhp369xw7qw97fp0hy9-emacs-lambdapi-mode-20260203.1712","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"832efc09b4caf6b4569fbf9dc01bec3082a00611","date":"2026-03-27T11:17:38Z","outputs":[{"name":"out","path":"/nix/store/s5qakaqqn2hlbwx0v58b1pv6d8f896kw-emacs-lambdapi-mode-20260203.1712","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"832efc09b4caf6b4569fbf9dc01bec3082a00611","date":"2026-03-27T11:17:38Z","outputs":[{"name":"out","path":"/nix/store/fk6f4zdqan8lwfwav53ykndjb7hn2z71-emacs-lambdapi-mode-20260203.1712","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250716.1143","last_updated":"2026-02-27T06:27:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/kb7zv34g3gyh5185halajsqb7d70034c-emacs-lambdapi-mode-20250716.1143","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/vsx9xn1b65l2ldkfhkws2lfj8wqqij0w-emacs-lambdapi-mode-20250716.1143","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/g8970i7wcv40nyy77l6zd9i37n481kvf-emacs-lambdapi-mode-20250716.1143","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/xx4da3dfm40z5h847z194ra0xhwcw4ja-emacs-lambdapi-mode-20250716.1143","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250707.1800","last_updated":"2025-08-03T19:18:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ylbv1v3s10q8a17r76alcbaw91xxn9c5-emacs-lambdapi-mode-20250707.1800","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/cakqxbdfrzkybdhvbnisaqr3q06qkmbx-emacs-lambdapi-mode-20250707.1800","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/603phvhsvq3mavdyj5f4285f7bdl0qml-emacs-lambdapi-mode-20250707.1800","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/0spm7gbm4ph089l3mg631gjc86cd81nl-emacs-lambdapi-mode-20250707.1800","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250418.1238","last_updated":"2025-07-08T22:16:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"2a2130494ad647f953593c4e84ea4df839fbd68c","date":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/4cpisp89gyfgd5nhlya4rjyd68yki4sm-emacs-lambdapi-mode-20250418.1238","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"992f916556fcfaa94451ebc7fc6e396134bbf5b1","date":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/vcsg4d34n1k9a34718hvq9lnq6srjw5g-emacs-lambdapi-mode-20250418.1238","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"2a2130494ad647f953593c4e84ea4df839fbd68c","date":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/nqg8ldwsdr252nmanjmjflnrr15jzbjk-emacs-lambdapi-mode-20250418.1238","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"992f916556fcfaa94451ebc7fc6e396134bbf5b1","date":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/9gph6d1zrc7gl5kylf6gc6940idbkfdz-emacs-lambdapi-mode-20250418.1238","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250326.1855","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/jn03m6dyf69nw5np19a5ii21qdcds36y-emacs-lambdapi-mode-20250326.1855","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/lidm0kah22lvjv173pwhg8kma45ng1hj-emacs-lambdapi-mode-20250326.1855","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/ky7l2jwp9x3azyi1z10lnn5ii9vlpy74-emacs-lambdapi-mode-20250326.1855","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/y5j72zk22vikh0yalfz61pv065n7i560-emacs-lambdapi-mode-20250326.1855","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250220.1613","last_updated":"2025-03-30T07:43:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/mw48m9jdfg67xbm9cxmyixbc3b4ryji6-emacs-lambdapi-mode-20250220.1613","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/gfgi8vbbwcx5bl13y027fazs4dj5kb0z-emacs-lambdapi-mode-20250220.1613","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/n0z0kb2k17jqgh551n26xi2624ldzv52-emacs-lambdapi-mode-20250220.1613","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/fkr36393zlyxlfbyzh1hqys68jy1mzmw-emacs-lambdapi-mode-20250220.1613","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250125.1144","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/x9hmcqphmkqfpcq6fvywnn1y5qh1yzv4-emacs-lambdapi-mode-20250125.1144","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/91phnand5wrfycycldrl9l8ga00vqxj8-emacs-lambdapi-mode-20250125.1144","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/32q55rj6qz9jbfldf38d7a02fns4sa8x-emacs-lambdapi-mode-20250125.1144","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/psb50iisc5k3ndf0il8s5ka9c8bha62f-emacs-lambdapi-mode-20250125.1144","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250102.959","last_updated":"2025-01-19T08:16:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/2i820b7x6bix3g5mj3czkpaw5vy4pf60-emacs-lambdapi-mode-20250102.959","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/yqnilm7gj2rbfqxxv1pvwy15g1aa3prl-emacs-lambdapi-mode-20250102.959","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/2j5f5h749f56kvdxrzh032dkprlb8d8h-emacs-lambdapi-mode-20250102.959","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/yj4vpcnvkjnsywclv64k6qcal5j0pgr1-emacs-lambdapi-mode-20250102.959","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20241110.1640","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/1pi5nbnx4mm061wmr0vpaq1506awrm8b-emacs-lambdapi-mode-20241110.1640","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/1x993nxyxav3s90i5jqzdpqa7fg3qr6r-emacs-lambdapi-mode-20241110.1640","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/346j090mzx9j1w63fyipj02553x0726d-emacs-lambdapi-mode-20241110.1640","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/di81fhg4pipzr9mbsl809jvv2ibivmf3-emacs-lambdapi-mode-20241110.1640","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240729.1656","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/flsq22lqjk3gx14ap8w362fimvbqv1bg-emacs-lambdapi-mode-20240729.1656","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/xn2297g6hsfhmqfg1wlfj3a6943bhji5-emacs-lambdapi-mode-20240729.1656","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/lk2c96kzd6xs6b5mj3jkf69fnrshlcj6-emacs-lambdapi-mode-20240729.1656","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/cb4xlcvypxxm01qdqmjpab41z2dbgbwp-emacs-lambdapi-mode-20240729.1656","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240425.941","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/gdr1gk50d0cx549m14ngvydg5rkr0arf-emacs-lambdapi-mode-20240425.941","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/rl89gw3x5bpy5w23k4x2blfzq6jmg7rc-emacs-lambdapi-mode-20240425.941","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/da3sgzjm8habgl82d4pb0ikz8pnfqrsc-emacs-lambdapi-mode-20240425.941","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/jic8p1cd90igb2rb78cmik5lyk3fk6aa-emacs-lambdapi-mode-20240425.941","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240130.1533","last_updated":"2024-05-03T15:42:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/mby4m9ps9qdr6z4586vi45jkps1s2hx8-emacs-lambdapi-mode-20240130.1533","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/ylkb7f0kkvfmrjcb7ch6hn62xgx7d3vx-emacs-lambdapi-mode-20240130.1533","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/n08pd4a0skn6cnpa2wrscc7jrlyalxff-emacs-lambdapi-mode-20240130.1533","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/j2yymb8qxbwbqsynrsdq3p81i6q8rzim-emacs-lambdapi-mode-20240130.1533","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230728.1221","last_updated":"2024-02-13T17:33:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/bric8dq8z43h42sbcwq8hlv7idb9v5s2-emacs-lambdapi-mode-20230728.1221","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/nxr5am2d03b9xgjy280bfnkaid6r15c2-emacs-lambdapi-mode-20230728.1221","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/dvqy0j9n80s4rjibzks56c8yfzqahvfn-emacs-lambdapi-mode-20230728.1221","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/kkdmnz7lkf1bba1w67nsgnqxax9wvb3h-emacs-lambdapi-mode-20230728.1221","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230513.1154","last_updated":"2023-07-24T21:56:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/v7j7mpnfy1099likqy0fa8y6aa1nxf6q-emacs-lambdapi-mode-20230513.1154","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/jhf8dfb6733q28sfzqwjk05py5accbfa-emacs-lambdapi-mode-20230513.1154","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/2hpm45zgmcrlvjxahdp936x4mzxdz2rn-emacs-lambdapi-mode-20230513.1154","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"dfcffbd74fd6f0419370d8240e445252a39f4d10","date":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/4v5wgshr07z2zd9cp5qyjhsbwpa3bagf-emacs-lambdapi-mode-20230513.1154","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20221228.1622","last_updated":"2023-06-05T20:59:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/g2mhhvcc1fbk57xcqkr6g8a4s29qfw7z-emacs-lambdapi-mode-20221228.1622","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/5p90sj2gyzmvz06m4yh1sapiv84rr43f-emacs-lambdapi-mode-20221228.1622","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/71jq9p7d71ilphz8ssiv8qkf8c14s8gd-emacs-lambdapi-mode-20221228.1622","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/4jvcz5439ziry4x5yvzlyzg99hp4zxyh-emacs-lambdapi-mode-20221228.1622","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220909.1444","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/6v4bavf8c3514v3q4zsf8cmdq02xrg2q-emacs-lambdapi-mode-20220909.1444","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/60k675v58r3hwf136k12hlzjavwb1hay-emacs-lambdapi-mode-20220909.1444","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/s2p0xk5fnj3pk2b3ifviamssk40qlalb-emacs-lambdapi-mode-20220909.1444","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.lambdapi-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/jssnc9y6406gsj6asr0ix2ywksq9wgjy-emacs-lambdapi-mode-20220909.1444","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}