{"name":"coqPackages.mathcomp-word","summary":"Yet Another Coq Library on Machine Words","description":"","homepage_url":"https://github.com/jasmin-lang/coqword","license":"MIT","attribute_paths":["coqPackages.mathcomp-word"],"releases":[{"version":"3.5","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zgsy8iqqngda8qaxmq46qdyd1314l27b-coq9.1-mathcomp2.5-word-3.5","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qgw2cljcv805h8axbync6dlvclfrkj0r-coq9.1-mathcomp2.5-word-3.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/n1a7rnkw43vca8p8yxg42gfsvzramlcw-coq9.1-mathcomp2.5-word-3.5","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.4","last_updated":"2026-07-23T21:30:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/h56knpmaz86sqh0dpljz7lic65gwwi35-coq9.1-mathcomp2.5-word-3.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/jj9784ygd08ah0q4q6c52dsl4j35q994-coq9.1-mathcomp2.5-word-3.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/zn8hs62w71qgfr8r44598bz572hy8l1z-coq9.1-mathcomp2.5-word-3.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/x2sqnvqgp64m6d8fg57kb939f7zmk48k-coq9.1-mathcomp2.5-word-3.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.3","last_updated":"2026-03-10T02:35:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e607cb5360ff1234862ac9f8839522becb853bb9","date":"2026-03-10T02:35:18Z","outputs":[{"name":"out","path":"/nix/store/2n03qymih2ks4gsd1mrhl4pvnz0qj8aa-coq9.0-mathcomp2.5-word-3.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e607cb5360ff1234862ac9f8839522becb853bb9","date":"2026-03-10T02:35:18Z","outputs":[{"name":"out","path":"/nix/store/k054k4xb12881c01ysvq762k46np9da5-coq9.0-mathcomp2.5-word-3.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e607cb5360ff1234862ac9f8839522becb853bb9","date":"2026-03-10T02:35:18Z","outputs":[{"name":"out","path":"/nix/store/b9gbngnsbjgal971q5bznas1x7vj2v55-coq9.0-mathcomp2.5-word-3.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e607cb5360ff1234862ac9f8839522becb853bb9","date":"2026-03-10T02:35:18Z","outputs":[{"name":"out","path":"/nix/store/ff3m4p2f9f6b59j73diplzc5xrcf81zh-coq9.0-mathcomp2.5-word-3.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.2","last_updated":"2026-02-27T06:27:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/aswwkzdmy8jsy5c65vads08cvvpf38gv-coq9.0-mathcomp2.5-word-3.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/6a90dyngxyy29sgfz5b5wvdd86jrfxp5-coq9.0-mathcomp2.5-word-3.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/n9pl2adrzgipaphxxix4w9mlifv6xx59-coq9.0-mathcomp2.5-word-3.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/cy8sqml9hix9a3pv42bv69nkbwndhx2a-coq9.0-mathcomp2.5-word-3.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/j4ip6sm346ranfqq373f0nkwbjl3l663-coq8.19-mathcomp1.19-word-2.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/6ax0w1v0hh1yqbq12z21i3jhgi60hdgz-coq8.19-mathcomp1.19-word-2.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/0x463lp2b8zp5kx3kc4i26g6ydwh8f4g-coq8.19-mathcomp1.19-word-2.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/1p9yl1knj7dkgxy6hzd7i5y77ygi5752-coq8.19-mathcomp1.19-word-2.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3","last_updated":"2024-05-22T06:18:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/gy9pqrlldfq81xbn6kp5fjpf5j7myxbx-coq8.19-mathcomp1.19-word-2.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/jhkwir0gv3l0ba0kzggkcsa43k8p55m6-coq8.19-mathcomp1.19-word-2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/py9sy32r0zamqddcw57fwjfvzrvj6fmi-coq8.19-mathcomp1.19-word-2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/pm0izf9vxzwr7nl7h47rghiqddz98v6y-coq8.19-mathcomp1.19-word-2.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.2","last_updated":"2024-03-15T11:45:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b1d47989352fcb722a1f19295a9461ed1ef8435a","date":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/drzi1nap8rqr3v1zi9kls7f3vq2fmwrx-coq8.18-mathcomp1.18-word-2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b1d47989352fcb722a1f19295a9461ed1ef8435a","date":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/fsqnjys01dzg7x6ww9hdgh9hf5l16g79-coq8.18-mathcomp1.18-word-2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b1d47989352fcb722a1f19295a9461ed1ef8435a","date":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/xqas8w6pdi4aj07qhz743fa2aw8mqw2x-coq8.18-mathcomp1.18-word-2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"b1d47989352fcb722a1f19295a9461ed1ef8435a","date":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/bpj05ccd8h70pbxm2fgafc8jsb2xbic3-coq8.18-mathcomp1.18-word-2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.1","last_updated":"2023-11-17T14:14:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"a71323f68d4377d12c04a5410e214495ec598d4c","date":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/sqgvxxq3qxshbbm7kcfpmrh001s7415h-coq8.18-mathcomp1.18-word-2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"a71323f68d4377d12c04a5410e214495ec598d4c","date":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/l9r6p7mn5ca3l7i91r8xid42mppbnqy0-coq8.18-mathcomp1.18-word-2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"a71323f68d4377d12c04a5410e214495ec598d4c","date":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/9g1hp1cipwgymkb8d4miyh9rfyz7fg89-coq8.18-mathcomp1.18-word-2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"a71323f68d4377d12c04a5410e214495ec598d4c","date":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/hpp0xy2nqwls796s8wzqhn3qssxv0dqg-coq8.18-mathcomp1.18-word-2.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.0","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/p62ij804rjqr050jgsbil2hcfkg8j8kk-coq8.16-mathcomp1.16-word-2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/r40dyjn8yg9lvj4a0va8cfmlinbk3qpr-coq8.16-mathcomp1.16-word-2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/zx65sswy1xg9zd6sywa19kfdpprgcl43-coq8.16-mathcomp1.16-word-2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/w4d7l1mi5fjv40f3d58cfay3fgjwmg74-coq8.16-mathcomp1.16-word-2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1","last_updated":"2022-10-02T16:20:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e5f9412eca200270da0d1507190de9b312bd4458","date":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/4i2jj5qnawm44sbib77i72wb1j2qjg7s-coq8.15-mathcomp1.15-word-1.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e5f9412eca200270da0d1507190de9b312bd4458","date":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/g8z21n83kswh0aqf5kfw0k4dm567kmpm-coq8.15-mathcomp1.15-word-1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e5f9412eca200270da0d1507190de9b312bd4458","date":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/xajmaxvvdfd4wmj13w8848b4iicb4a95-coq8.15-mathcomp1.15-word-1.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"e5f9412eca200270da0d1507190de9b312bd4458","date":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/y3vv5fmisqps5311l6bjh5f9x9hrbbyv-coq8.15-mathcomp1.15-word-1.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0","last_updated":"2022-04-20T07:43:34Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[{"name":"out","path":"/nix/store/41lgmv75aahp56wnwm745a57ry02c130-coq8.13-mathcomp1.14-word-1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-word","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}