{"name":"alt-ergo","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://alt-ergo.ocamlpro.com/","license":"","attribute_paths":["alt-ergo"],"releases":[{"version":"2.6.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"bin","path":"/nix/store/7y225hp0id41avggff9rfmm1af2rrj5v-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/9qwvd07v32n98a53dlp8h426g1ig8fhb-ocaml5.5.0-alt-ergo-2.6.3"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"bin","path":"/nix/store/acsp6za9193y9dpxxr137h93alskvg9b-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/hg73z21da65f90xd7vlfp8ffzjgjycz8-ocaml5.5.0-alt-ergo-2.6.3"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"bin","path":"/nix/store/iziry1yjz2vh0zxzd4xirxk8535wykhg-ocaml5.4.1-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/80sb938p8ar8rwgj447r4xy4gl67kwzc-ocaml5.4.1-alt-ergo-2.6.3"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"bin","path":"/nix/store/7rjqcsv0xr71dzp4hnf2ggjp47a4gazm-ocaml5.5.0-alt-ergo-2.6.3-bin","default":true},{"name":"out","path":"/nix/store/697i8vkhbnxsva7yzadc8rvcnwna2i6c-ocaml5.5.0-alt-ergo-2.6.3"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"bin, out","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2","last_updated":"2026-03-28T12:40:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/9z6ildh8x46jlx7q5rb78wwb7qhbb67y-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/vig25f1pxxlncv3rc8x5mfj46f3b4qp4-ocaml5.4.1-alt-ergo-2.6.2"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/bk4sr1nrwci91p7j4f11i9q559yky44q-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/7xbnbpkbggaqv1xi29pbgmj32iicjslj-ocaml5.4.1-alt-ergo-2.6.2"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/3pqad0309cfy66jq60vn0pv11xgwzzhc-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/86939ndkli8q0vc6i3n1dlz8w9nypfdk-ocaml5.4.1-alt-ergo-2.6.2"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"bin","path":"/nix/store/5hpggmbhqzn7gm63byh7zsgh82pn07vy-ocaml5.4.1-alt-ergo-2.6.2-bin","default":true},{"name":"out","path":"/nix/store/np8kj2mpjqi8vgwpd120422ybci2sr6z-ocaml5.4.1-alt-ergo-2.6.2"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"bin, out","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.1","last_updated":"2025-05-12T14:38:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1","date":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/0gyj3kiyjfdzz2rivy3qyx7bwsvn2bfd-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/vq7kgb6h544cl8j1p6ifqqxy5qcns4lw-ocaml5.3.0-alt-ergo-2.6.1"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1","date":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/qr6wxv52rq1sghdrbs1srpzdflp8xsjq-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/fgvmaaqxj46pidn8i9c39l9wgfs47ylr-ocaml5.3.0-alt-ergo-2.6.1"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1","date":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/fl132j8539wywz15y5da9wwsp9y8b6jr-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/2gc2fncrd0mglda3c5kqi2xy7lm76dgz-ocaml5.3.0-alt-ergo-2.6.1"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1","date":"2025-05-12T14:38:58Z","outputs":[{"name":"bin","path":"/nix/store/6d64npa8fw6ib26v5zjw3gblbn5r8ccg-ocaml5.3.0-alt-ergo-2.6.1-bin","default":true},{"name":"out","path":"/nix/store/a675i5sgj9mkg73pdmx28isbvsd5pn5a-ocaml5.3.0-alt-ergo-2.6.1"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"bin, out","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.0","last_updated":"2025-04-17T05:47:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/mphkddag53da9wmd042fpw6q582lypz8-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/8pdzp5n922rzlds9pnqnxxj1i3l7gwn0-ocaml5.2.1-alt-ergo-2.6.0"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/myb8abyll3kwar2q6fs8ngd1srg6qxlz-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/wxbi520j2rhq9gv841a59hpn2d416s4z-ocaml5.2.1-alt-ergo-2.6.0"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/y93gpvlk2017f20qgdx7d4bkn68d7sz4-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/x8qzh09k4mc6lkkan4v0mg3jk0qrn3dm-ocaml5.2.1-alt-ergo-2.6.0"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"bin","path":"/nix/store/9cqh0c332h2yazhcqmk88j3n1kajdxij-ocaml5.2.1-alt-ergo-2.6.0-bin","default":true},{"name":"out","path":"/nix/store/zypghbs24bxcdjhgyswb6whnfnxqjm4k-ocaml5.2.1-alt-ergo-2.6.0"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"bin, out","prerelease":false,"broken":false,"insecure":false},{"version":"2.5.4","last_updated":"2024-09-12T02:28:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"111ed8812c10d7dc3017de46cbf509600c93f551","date":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/apl7nspk92w3c8h9aw2488w9qpyg69vj-ocaml5.1.1-alt-ergo-2.5.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"111ed8812c10d7dc3017de46cbf509600c93f551","date":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/kskgxa5mkfkl7ihpzyl1lwspss5cyj9j-ocaml5.1.1-alt-ergo-2.5.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"111ed8812c10d7dc3017de46cbf509600c93f551","date":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/xpmwnj13938q5qnvsplklr3vdpwaicw7-ocaml5.1.1-alt-ergo-2.5.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"111ed8812c10d7dc3017de46cbf509600c93f551","date":"2024-09-12T02:28:40Z","outputs":[{"name":"out","path":"/nix/store/3kh38rpsbp8kj50sfcb2f42imlaabkdz-ocaml5.1.1-alt-ergo-2.5.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.5.3","last_updated":"2024-05-12T16:19:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"3281bec7174f679eabf584591e75979a258d8c40","date":"2024-05-12T16:19:40Z","outputs":[{"name":"out","path":"/nix/store/5prpfnw7i1gmw1b2w8021kdxzhsj8pdi-ocaml5.1.1-alt-ergo-2.5.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"3281bec7174f679eabf584591e75979a258d8c40","date":"2024-05-12T16:19:40Z","outputs":[{"name":"out","path":"/nix/store/pbd0zrfhzvrk5w24zgkrz70lwgpar1by-ocaml5.1.1-alt-ergo-2.5.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"3281bec7174f679eabf584591e75979a258d8c40","date":"2024-05-12T16:19:40Z","outputs":[{"name":"out","path":"/nix/store/0xn191i2dmkg46g0dxp3ih1ywhswnnk5-ocaml5.1.1-alt-ergo-2.5.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"3281bec7174f679eabf584591e75979a258d8c40","date":"2024-05-12T16:19:40Z","outputs":[{"name":"out","path":"/nix/store/qakcng9hgxi05gq9ki4vnf0c33854ikx-ocaml5.1.1-alt-ergo-2.5.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.5.2","last_updated":"2024-03-25T12:46:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"c726225724e681b3626acc941c6f95d2b0602087","date":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/2izfxkzd5ckhr2924yfvhkl6qmd0xa69-ocaml5.1.1-alt-ergo-2.5.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"c726225724e681b3626acc941c6f95d2b0602087","date":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/47jl3r2jp3zr9sfj33sdvgn2lkv9a48q-ocaml5.1.1-alt-ergo-2.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"c726225724e681b3626acc941c6f95d2b0602087","date":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/0hhh93m9q3rqmrhiyswbrq1lhpr3hsx5-ocaml5.1.1-alt-ergo-2.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"c726225724e681b3626acc941c6f95d2b0602087","date":"2024-03-25T12:46:37Z","outputs":[{"name":"out","path":"/nix/store/1bapr3vfjcblzbpdka8mx1q5lf5m1yhm-ocaml5.1.1-alt-ergo-2.5.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.5.1","last_updated":"2023-10-15T14:24:03Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"12bdeb01ff9e2d3917e6a44037ed7df6e6c3df9d","date":"2023-10-15T14:24:03Z","outputs":[{"name":"out","path":"/nix/store/gqky1hc48z7r8rcrg390qxqagwm0xbc8-ocaml4.14.1-alt-ergo-2.5.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"12bdeb01ff9e2d3917e6a44037ed7df6e6c3df9d","date":"2023-10-15T14:24:03Z","outputs":[{"name":"out","path":"/nix/store/5cmb1pa222rd1yfj065ihir37fqc5mj8-ocaml4.14.1-alt-ergo-2.5.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"12bdeb01ff9e2d3917e6a44037ed7df6e6c3df9d","date":"2023-10-15T14:24:03Z","outputs":[{"name":"out","path":"/nix/store/1xhv130r4vkn63i2cvfcav3k7yjblhlr-ocaml4.14.1-alt-ergo-2.5.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"12bdeb01ff9e2d3917e6a44037ed7df6e6c3df9d","date":"2023-10-15T14:24:03Z","outputs":[{"name":"out","path":"/nix/store/2cdx7ilq3a4k44ivfx7a64q609w0wcb4-ocaml4.14.1-alt-ergo-2.5.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.3","last_updated":"2023-09-27T18:02:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/lfygqgli2h5b8slyj56w7dppcnjrfmwp-ocaml4.14.1-alt-ergo-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/32f0ynn18p91pv6n9sxhn2xy78yggg94-ocaml4.14.1-alt-ergo-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/sbyvwqbsdhmppzfmg0fnbij20w04v0kp-ocaml4.14.1-alt-ergo-2.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/wmlx79ivd5xgzywl39cqbxch0gprm0y8-ocaml4.14.1-alt-ergo-2.4.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.2","last_updated":"2023-02-24T09:01:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.1","last_updated":"2022-06-20T04:45:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"alt-ergo","commit_hash":"cce0667703fce3a1162dd252cf0864fdf83466ab","date":"2022-05-28T02:13:38Z","outputs":[{"name":"out","path":"/nix/store/18322lph8y6di414mla880gz13wy9nkv-ocaml4.13.1-alt-ergo-2.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.0","last_updated":"2021-10-04T06:34:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"alt-ergo","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"alt-ergo","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.3","last_updated":"2021-04-25T18:34:42Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"79cb2cb9869d7bb8a1fac800977d3864212fd97d","date":"2021-04-25T18:34:42Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.2","last_updated":"2020-08-25T08:51:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"alt-ergo","commit_hash":"b9ba82ef8ad6d8997840332ca3a2986e360291e3","date":"2020-08-25T08:51:33Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}