{"name":"emacs27Packages.ott-mode","summary":"Emacs ott mode (from ott sources)","description":"","homepage_url":"https://hackage.haskell.org/package/Agda","license":"unknown","attribute_paths":["emacs27Packages.ott-mode"],"releases":[{"version":"0.31","last_updated":"2022-04-13T09:49:25Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs27Packages.ott-mode","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/wr4sdwx3332pa7k1axckhwgrl3wnvf76-emacs-ott-mode-0.31","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.ott-mode","commit_hash":"0343e3415784b2cd9c68924294794f7dbee12ab3","date":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/x1kxgiys2xaj1d1rajmr49smrp5fy2kw-emacs-ott-mode-0.31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs27Packages.ott-mode","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/d5xjj2j33b7pp7igfp2cjbc1gjh0sb9l-emacs-ott-mode-0.31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs27Packages.ott-mode","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/nxgr56570cdw4n04a5pd3cq6ng6im775-emacs-ott-mode-0.31","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}