{"name":"haskellPackages.hakyll-alectryon","summary":"Hakyll extension for rendering Coq code using Alectryon","description":"","homepage_url":"https://hackage.haskell.org/package/hakyll-alectryon","license":"MIT","attribute_paths":["haskellPackages.hakyll-alectryon"],"releases":[{"version":"0.2.0.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/03j1skkz2g1r90j7xcmbzmrxb8avpanh-hakyll-alectryon-0.2.0.0","default":true},{"name":"doc","path":"/nix/store/vzr70g2dw23505z368y0xkwpy2ww1fzc-hakyll-alectryon-0.2.0.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7l4nhijsbj7ifcvqvfxswb6lx9anlcrf-hakyll-alectryon-0.2.0.0","default":true},{"name":"doc","path":"/nix/store/qff1i2sqcwax3qv7n26ab10zclhr2w4d-hakyll-alectryon-0.2.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/36bkqw3mxxy0k7acc577saa8ivi2dywj-hakyll-alectryon-0.2.0.0","default":true},{"name":"doc","path":"/nix/store/hy11safkn2d1d260mh5r2ifl3rpjs54y-hakyll-alectryon-0.2.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/aznlr8xg6a44l36j7jbml3q9m83zjmzr-hakyll-alectryon-0.2.0.0","default":true},{"name":"doc","path":"/nix/store/4hpjk6dm41fdsx5ixc2yrabdkbxxy7di-hakyll-alectryon-0.2.0.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.2.0","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/h00xy6jk76g7y5fjb2sjvrlazkbf12sg-hakyll-alectryon-0.1.2.0","default":true},{"name":"doc","path":"/nix/store/kph1vb6hdr8kr77q0rpx5pjcwxk01l2q-hakyll-alectryon-0.1.2.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/387lh82x9i5m40hkiqr2m0slr1sfwj87-hakyll-alectryon-0.1.2.0","default":true},{"name":"doc","path":"/nix/store/iwk4ngsn7myl6lianr9lgm88my3621a8-hakyll-alectryon-0.1.2.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/iq0d00zmp7p56lpk0b583h7jr1b8nim8-hakyll-alectryon-0.1.2.0","default":true},{"name":"doc","path":"/nix/store/xv3dj4hg89b240mlq20fvq3r465j5kh1-hakyll-alectryon-0.1.2.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/32p0baywyqw0k8bjip9wf6hqbpxg2x4l-hakyll-alectryon-0.1.2.0","default":true},{"name":"doc","path":"/nix/store/myh9g2rhwq59na12bc98izl7ibrilnsv-hakyll-alectryon-0.1.2.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.1.0","last_updated":"2022-09-19T01:31:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"8a5b9ee7b7a2b38267c9481f5c629c015108ab0d","date":"2022-09-19T01:31:00Z","outputs":[{"name":"out","path":"/nix/store/jr4qbnhm9x6sp7gsr9y9q1xmajdn8slz-hakyll-alectryon-0.1.1.0","default":true},{"name":"doc","path":"/nix/store/n7ifc06aq22i7fpjljajpwjzp022hb2z-hakyll-alectryon-0.1.1.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"8a5b9ee7b7a2b38267c9481f5c629c015108ab0d","date":"2022-09-19T01:31:00Z","outputs":[{"name":"out","path":"/nix/store/rpm6sq4l5frmr7n610kcnawxb3c422zb-hakyll-alectryon-0.1.1.0","default":true},{"name":"doc","path":"/nix/store/lkzpwnqdpcf84d16cak1k77gygk806n4-hakyll-alectryon-0.1.1.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"8a5b9ee7b7a2b38267c9481f5c629c015108ab0d","date":"2022-09-19T01:31:00Z","outputs":[{"name":"out","path":"/nix/store/wicqvxymf46zsvbgcry7c51ss30k4zwg-hakyll-alectryon-0.1.1.0","default":true},{"name":"doc","path":"/nix/store/72979skvl5aijrra9q2b9r6r6nz0bmlw-hakyll-alectryon-0.1.1.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.hakyll-alectryon","commit_hash":"8a5b9ee7b7a2b38267c9481f5c629c015108ab0d","date":"2022-09-19T01:31:00Z","outputs":[{"name":"out","path":"/nix/store/zq47dg0vj0kpfywhfs33a1vnahsqlbgg-hakyll-alectryon-0.1.1.0","default":true},{"name":"doc","path":"/nix/store/68z2bjspbvmpfkxk16fxwwqw0p9nkpa0-hakyll-alectryon-0.1.1.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}