[{"url":"https://api.github.com/repos/coq/coq/releases/144635896","assets_url":"https://api.github.com/repos/coq/coq/releases/144635896/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/144635896/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.19.1","id":144635896,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84Invf4","tag_name":"V8.19.1","target_commitish":"master","name":"Coq 8.19.1","draft":false,"prerelease":false,"created_at":"2024-03-04T12:53:31Z","published_at":"2024-03-04T13:01:12Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/154820920","id":154820920,"node_id":"RA_kwDOABUDh84JOmE4","name":"coq-8.19.1-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4746398,"download_count":36,"created_at":"2024-03-04T13:01:06Z","updated_at":"2024-03-04T13:01:10Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19.1/coq-8.19.1-reference-manual.pdf"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/154820975","id":154820975,"node_id":"RA_kwDOABUDh84JOmFv","name":"coq-8.19.1.tar.gz","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/gzip","state":"uploaded","size":7675945,"download_count":1046,"created_at":"2024-03-04T13:01:29Z","updated_at":"2024-03-04T13:01:32Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19.1/coq-8.19.1.tar.gz"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.19.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.19.1","body":"See the [changelog](https://coq.github.io/doc/v8.19/refman/changes.html#changes-in-8-19-1) for an overview of the new features and changes."},{"url":"https://api.github.com/repos/coq/coq/releases/138325098","assets_url":"https://api.github.com/repos/coq/coq/releases/138325098/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/138325098/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.19.0","id":138325098,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84IPqxq","tag_name":"V8.19.0","target_commitish":"master","name":"Coq 8.19.0","draft":false,"prerelease":false,"created_at":"2024-01-24T12:45:50Z","published_at":"2024-01-24T12:49:50Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/147514952","id":147514952,"node_id":"RA_kwDOABUDh84IyuZI","name":"coq-8.19.0-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4743765,"download_count":122,"created_at":"2024-01-24T12:49:37Z","updated_at":"2024-01-24T12:49:50Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19.0/coq-8.19.0-reference-manual.pdf"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/147515012","id":147515012,"node_id":"RA_kwDOABUDh84IyuaE","name":"coq-8.19.0.tar.gz","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/gzip","state":"uploaded","size":7674352,"download_count":2664,"created_at":"2024-01-24T12:50:02Z","updated_at":"2024-01-24T12:50:05Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19.0/coq-8.19.0.tar.gz"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.19.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.19.0","body":"See the [changelog](https://coq.github.io/doc/v8.19/refman/changes.html#changes-in-8-19-0) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/138325098/reactions","total_count":12,"+1":12,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/134351820","assets_url":"https://api.github.com/repos/coq/coq/releases/134351820/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/134351820/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.19%2Brc1","id":134351820,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84IAgvM","tag_name":"V8.19+rc1","target_commitish":"master","name":"Coq 8.19+rc1","draft":false,"prerelease":true,"created_at":"2023-12-18T16:25:10Z","published_at":"2023-12-18T16:31:49Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/141298309","id":141298309,"node_id":"RA_kwDOABUDh84IbAqF","name":"coq-8.19-rc1.tar.gz","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/gzip","state":"uploaded","size":7669851,"download_count":78,"created_at":"2023-12-18T16:32:06Z","updated_at":"2023-12-18T16:32:09Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19%2Brc1/coq-8.19-rc1.tar.gz"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/141298217","id":141298217,"node_id":"RA_kwDOABUDh84IbAop","name":"coq-8.19.0-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4737331,"download_count":6,"created_at":"2023-12-18T16:31:16Z","updated_at":"2023-12-18T16:31:21Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.19%2Brc1/coq-8.19.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.19+rc1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.19+rc1","body":"See the [changelog](https://coq.github.io/doc/v8.19/refman/changes.html#changes-in-8-19-0) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/134351820/reactions","total_count":3,"+1":3,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/120409550","assets_url":"https://api.github.com/repos/coq/coq/releases/120409550/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/120409550/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.18.0","id":120409550,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84HLU3O","tag_name":"V8.18.0","target_commitish":"master","name":"Coq 8.18.0","draft":false,"prerelease":false,"created_at":"2023-09-08T10:22:23Z","published_at":"2023-09-08T10:32:30Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/125120335","id":125120335,"node_id":"RA_kwDOABUDh84HdS9P","name":"coq-8.18.0-reference-manual.pdf","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4633670,"download_count":380,"created_at":"2023-09-08T10:31:59Z","updated_at":"2023-09-08T10:32:30Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0-reference-manual.pdf"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/125120467","id":125120467,"node_id":"RA_kwDOABUDh84HdS_T","name":"coq-8.18.0.tar.gz","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/gzip","state":"uploaded","size":7612742,"download_count":6539,"created_at":"2023-09-08T10:33:15Z","updated_at":"2023-09-08T10:33:17Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0.tar.gz"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.18.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.18.0","body":"See the [changelog](https://coq.github.io/doc/v8.18/refman/changes.html#changes-in-8-18-0) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/120409550/reactions","total_count":4,"+1":3,"-1":0,"laugh":0,"hooray":1,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/114954419","assets_url":"https://api.github.com/repos/coq/coq/releases/114954419/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/114954419/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.18%2Brc1","id":114954419,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84G2hCz","tag_name":"V8.18+rc1","target_commitish":"master","name":"Coq 8.18+rc1","draft":false,"prerelease":true,"created_at":"2023-08-03T09:36:09Z","published_at":"2023-08-03T11:52:34Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/120043791","id":120043791,"node_id":"RA_kwDOABUDh84HJ7kP","name":"coq-8.18+rc1-reference-manual.pdf","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4634479,"download_count":10,"created_at":"2023-08-04T07:57:53Z","updated_at":"2023-08-04T07:58:16Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.18%2Brc1/coq-8.18%2Brc1-reference-manual.pdf"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/119905346","id":119905346,"node_id":"RA_kwDOABUDh84HJZxC","name":"coq-8.18+rc1.tar.gz","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/gzip","state":"uploaded","size":7611929,"download_count":316,"created_at":"2023-08-03T11:52:54Z","updated_at":"2023-08-03T11:53:16Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.18%2Brc1/coq-8.18%2Brc1.tar.gz"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.18+rc1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.18+rc1","body":"See the [changelog](https://coq.github.io/doc/v8.18/refman/changes.html) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/114954419/reactions","total_count":2,"+1":2,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/110025297","assets_url":"https://api.github.com/repos/coq/coq/releases/110025297/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/110025297/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.17.1","id":110025297,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84GjtpR","tag_name":"V8.17.1","target_commitish":"v8.17","name":"Coq 8.17.1","draft":false,"prerelease":false,"created_at":"2023-06-27T09:10:13Z","published_at":"2023-06-27T09:17:52Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/114526560","id":114526560,"node_id":"RA_kwDOABUDh84G04lg","name":"coq-8.17.1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4519450,"download_count":283,"created_at":"2023-06-27T09:16:58Z","updated_at":"2023-06-27T09:17:01Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.17.1/coq-8.17.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.17.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.17.1","body":"See the [changelog](https://coq.github.io/doc/v8.17/refman/changes.html#changes-in-8-17-1) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/110025297/reactions","total_count":4,"+1":3,"-1":0,"laugh":0,"hooray":1,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/96978113","assets_url":"https://api.github.com/repos/coq/coq/releases/96978113/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/96978113/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.17.0","id":96978113,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84Fx8TB","tag_name":"V8.17.0","target_commitish":"v8.17","name":"Coq 8.17.0","draft":false,"prerelease":false,"created_at":"2023-03-27T06:37:13Z","published_at":"2023-03-27T06:40:40Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/101110073","id":101110073,"node_id":"RA_kwDOABUDh84GBtE5","name":"coq-8.17.0-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4516994,"download_count":296,"created_at":"2023-03-27T06:40:33Z","updated_at":"2023-03-27T06:40:36Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.17.0/coq-8.17.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.17.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.17.0","body":"See the [changelog](https://coq.github.io/doc/v8.17/refman/changes.html#changes-in-8-17-0) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/96978113/reactions","total_count":5,"+1":0,"-1":0,"laugh":0,"hooray":5,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/89144610","assets_url":"https://api.github.com/repos/coq/coq/releases/89144610/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/89144610/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.17%2Brc1","id":89144610,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84FUD0i","tag_name":"V8.17+rc1","target_commitish":"v8.17","name":"Coq 8.17+rc1","draft":false,"prerelease":true,"created_at":"2022-12-29T17:04:45Z","published_at":"2023-01-16T15:41:43Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/91897972","id":91897972,"node_id":"RA_kwDOABUDh84FekB0","name":"coq-8.17.0-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4507187,"download_count":17,"created_at":"2023-01-16T15:41:35Z","updated_at":"2023-01-16T15:41:38Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.17%2Brc1/coq-8.17.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.17+rc1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.17+rc1","body":"See the [changelog](https://coq.github.io/doc/v8.17/refman/changes.html#changes-in-8-17-0) for an overview of the new features and changes."},{"url":"https://api.github.com/repos/coq/coq/releases/84193205","assets_url":"https://api.github.com/repos/coq/coq/releases/84193205/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/84193205/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.16.1","id":84193205,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84FBK-1","tag_name":"V8.16.1","target_commitish":"master","name":"Coq 8.16.1","draft":false,"prerelease":false,"created_at":"2022-11-25T12:11:43Z","published_at":"2022-11-25T14:47:27Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/85945868","id":85945868,"node_id":"RA_kwDOABUDh84FH24M","name":"coq-8.16.1-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4363930,"download_count":330,"created_at":"2022-11-25T14:47:23Z","updated_at":"2022-11-25T14:47:25Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.16.1/coq-8.16.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.16.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.16.1","body":"See the [changelog](https://coq.inria.fr/distrib/V8.16.1/refman/changes.html) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/84193205/reactions","total_count":2,"+1":0,"-1":0,"laugh":0,"hooray":2,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/76282269","assets_url":"https://api.github.com/repos/coq/coq/releases/76282269/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/76282269/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.16.0","id":76282269,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84Ei_md","tag_name":"V8.16.0","target_commitish":"master","name":"Coq 8.16.0","draft":false,"prerelease":false,"created_at":"2022-09-05T11:40:11Z","published_at":"2022-09-05T11:57:41Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/76917405","id":76917405,"node_id":"RA_kwDOABUDh84Elaqd","name":"coq-8.16.0-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4357243,"download_count":345,"created_at":"2022-09-05T11:57:11Z","updated_at":"2022-09-05T11:57:19Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.16.0/coq-8.16.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.16.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.16.0","body":"See the [changelog](https://coq.inria.fr/distrib/V8.16.0/refman/changes.html) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/76282269/reactions","total_count":6,"+1":0,"-1":0,"laugh":0,"hooray":6,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/73874887","assets_url":"https://api.github.com/repos/coq/coq/releases/73874887/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/73874887/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.16%2Brc1","id":73874887,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84EZz3H","tag_name":"V8.16+rc1","target_commitish":"master","name":"Coq 8.16+rc1","draft":false,"prerelease":true,"created_at":"2022-06-01T20:36:19Z","published_at":"2022-08-08T14:17:12Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/74059938","id":74059938,"node_id":"RA_kwDOABUDh84EahCi","name":"coq-8.16+rc1-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4227525,"download_count":25,"created_at":"2022-08-08T14:16:17Z","updated_at":"2022-08-08T14:16:30Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.16%2Brc1/coq-8.16%2Brc1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.16+rc1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.16+rc1","body":"See the [changelog](https://coq.github.io/doc/v8.16/refman/changes.html#changes-in-8-16-0) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/73874887/reactions","total_count":5,"+1":0,"-1":0,"laugh":0,"hooray":5,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/68231584","assets_url":"https://api.github.com/repos/coq/coq/releases/68231584/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/68231584/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.15.2","id":68231584,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84EESGg","tag_name":"V8.15.2","target_commitish":"master","name":"Coq 8.15.2","draft":false,"prerelease":false,"created_at":"2022-05-31T11:46:17Z","published_at":"2022-05-31T11:57:12Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/67123221","id":67123221,"node_id":"RA_kwDOABUDh84EADgV","name":"coq-8.15.2-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4093343,"download_count":341,"created_at":"2022-05-31T11:56:11Z","updated_at":"2022-05-31T11:56:25Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.15.2/coq-8.15.2-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.15.2","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.15.2","body":"Mostly CoqIDE fixes.\r\n\r\nSee the [changelog](https://coq.github.io/doc/v8.15/refman/changes.html#changes-in-8-15-2) for detailed changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/68231584/reactions","total_count":4,"+1":0,"-1":0,"laugh":0,"hooray":4,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/62471639","assets_url":"https://api.github.com/repos/coq/coq/releases/62471639/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/62471639/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.15.1","id":62471639,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84DuT3X","tag_name":"V8.15.1","target_commitish":"master","name":"Coq 8.15.1","draft":false,"prerelease":false,"created_at":"2022-03-22T16:15:21Z","published_at":"2022-03-22T16:36:15Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/60263252","id":60263252,"node_id":"RA_kwDOABUDh84Dl4tU","name":"coq-8.15.1-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4089909,"download_count":226,"created_at":"2022-03-22T16:36:35Z","updated_at":"2022-03-22T16:36:41Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.15.1/coq-8.15.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.15.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.15.1","body":"Main fixes:\r\n- inconsistency with module subtyping and inductive types (https://github.com/coq/coq/issues/15838)\r\n- CoqIDE slowdown on large files \r\n- missing `.vok` file creation\r\n- cbn regression (https://github.com/coq/coq/issues/15567)\r\n- usability of schemes with `elim foo using scheme with (P0 := ...)` (the `P0` name was not accessible in 8.15.0) (https://github.com/coq/coq/issues/15420) \r\n\r\nSee the [changelog](https://coq.github.io/doc/v8.15/refman/changes.html#changes-in-8-15-1) for detailed changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/62471639/reactions","total_count":4,"+1":0,"-1":0,"laugh":0,"hooray":4,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/57033447","assets_url":"https://api.github.com/repos/coq/coq/releases/57033447/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/57033447/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.15.0","id":57033447,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84DZkLn","tag_name":"V8.15.0","target_commitish":"master","name":"Coq 8.15.0","draft":false,"prerelease":false,"created_at":"2022-01-13T16:17:24Z","published_at":"2022-01-13T16:28:58Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/53893711","id":53893711,"node_id":"RA_kwDOABUDh84DNlpP","name":"coq-8.15.0-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4082228,"download_count":275,"created_at":"2022-01-13T16:28:34Z","updated_at":"2022-01-13T16:28:45Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.15.0/coq-8.15.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.15.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.15.0","body":"See the [changelog](https://coq.github.io/doc/v8.15/refman/changes.html#version-8-15) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/57033447/reactions","total_count":5,"+1":0,"-1":0,"laugh":0,"hooray":5,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/54803158","assets_url":"https://api.github.com/repos/coq/coq/releases/54803158/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/54803158/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.15%2Brc1","id":54803158,"author":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84DRDrW","tag_name":"V8.15+rc1","target_commitish":"master","name":"Coq 8.15+rc1","draft":false,"prerelease":true,"created_at":"2021-12-07T13:44:03Z","published_at":"2021-12-07T15:16:26Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/51219564","id":51219564,"node_id":"RA_kwDOABUDh84DDYxs","name":"coq-8.15+rc1-reference-manual.pdf","label":null,"uploader":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":4077555,"download_count":35,"created_at":"2021-12-07T15:16:20Z","updated_at":"2021-12-07T15:16:24Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.15%2Brc1/coq-8.15%2Brc1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.15+rc1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.15+rc1","body":"See https://coq.github.io/doc/v8.15/refman/changes.html#changes-in-8-15-0\r\n\r\nThe 8.15 release will not have any more changes other than bug fixes with low compatibility impact."},{"url":"https://api.github.com/repos/coq/coq/releases/54806275","assets_url":"https://api.github.com/repos/coq/coq/releases/54806275/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/54806275/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.14.1","id":54806275,"author":{"login":"silene","id":1674458,"node_id":"MDQ6VXNlcjE2NzQ0NTg=","avatar_url":"https://avatars.githubusercontent.com/u/1674458?v=4","gravatar_id":"","url":"https://api.github.com/users/silene","html_url":"https://github.com/silene","followers_url":"https://api.github.com/users/silene/followers","following_url":"https://api.github.com/users/silene/following{/other_user}","gists_url":"https://api.github.com/users/silene/gists{/gist_id}","starred_url":"https://api.github.com/users/silene/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/silene/subscriptions","organizations_url":"https://api.github.com/users/silene/orgs","repos_url":"https://api.github.com/users/silene/repos","events_url":"https://api.github.com/users/silene/events{/privacy}","received_events_url":"https://api.github.com/users/silene/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84DREcD","tag_name":"V8.14.1","target_commitish":"master","name":"Coq 8.14.1","draft":false,"prerelease":false,"created_at":"2021-11-19T15:45:58Z","published_at":"2021-12-07T15:54:23Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/51228366","id":51228366,"node_id":"RA_kwDOABUDh84DDa7O","name":"coq-8.14.1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3904769,"download_count":156,"created_at":"2021-12-07T17:14:59Z","updated_at":"2021-12-07T17:15:07Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.14.1/coq-8.14.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.14.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.14.1","body":"See the [changelog](https://coq.github.io/doc/v8.14/refman/changes.html#changes-in-8-14-1) for an overview of the bug fixes."},{"url":"https://api.github.com/repos/coq/coq/releases/51360201","assets_url":"https://api.github.com/repos/coq/coq/releases/51360201/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/51360201/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.14.0","id":51360201,"author":{"login":"silene","id":1674458,"node_id":"MDQ6VXNlcjE2NzQ0NTg=","avatar_url":"https://avatars.githubusercontent.com/u/1674458?v=4","gravatar_id":"","url":"https://api.github.com/users/silene","html_url":"https://github.com/silene","followers_url":"https://api.github.com/users/silene/followers","following_url":"https://api.github.com/users/silene/following{/other_user}","gists_url":"https://api.github.com/users/silene/gists{/gist_id}","starred_url":"https://api.github.com/users/silene/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/silene/subscriptions","organizations_url":"https://api.github.com/users/silene/orgs","repos_url":"https://api.github.com/users/silene/repos","events_url":"https://api.github.com/users/silene/events{/privacy}","received_events_url":"https://api.github.com/users/silene/received_events","type":"User","site_admin":false},"node_id":"RE_kwDOABUDh84DD7HJ","tag_name":"V8.14.0","target_commitish":"master","name":"Coq 8.14.0","draft":false,"prerelease":false,"created_at":"2021-10-14T08:12:17Z","published_at":"2021-10-14T13:03:18Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/46976304","id":46976304,"node_id":"RA_kwDOABUDh84CzM0w","name":"coq-8.14.0-reference-manual.pdf","label":null,"uploader":{"login":"silene","id":1674458,"node_id":"MDQ6VXNlcjE2NzQ0NTg=","avatar_url":"https://avatars.githubusercontent.com/u/1674458?v=4","gravatar_id":"","url":"https://api.github.com/users/silene","html_url":"https://github.com/silene","followers_url":"https://api.github.com/users/silene/followers","following_url":"https://api.github.com/users/silene/following{/other_user}","gists_url":"https://api.github.com/users/silene/gists{/gist_id}","starred_url":"https://api.github.com/users/silene/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/silene/subscriptions","organizations_url":"https://api.github.com/users/silene/orgs","repos_url":"https://api.github.com/users/silene/repos","events_url":"https://api.github.com/users/silene/events{/privacy}","received_events_url":"https://api.github.com/users/silene/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3902445,"download_count":224,"created_at":"2021-10-14T13:02:58Z","updated_at":"2021-10-14T13:03:00Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.14.0/coq-8.14.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.14.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.14.0","body":"See the [changelog](https://coq.github.io/doc/v8.14/refman/changes.html#version-8-14) for an overview of the new features and changes.","reactions":{"url":"https://api.github.com/repos/coq/coq/releases/51360201/reactions","total_count":6,"+1":1,"-1":0,"laugh":0,"hooray":5,"confused":0,"heart":0,"rocket":0,"eyes":0}},{"url":"https://api.github.com/repos/coq/coq/releases/40827115","assets_url":"https://api.github.com/repos/coq/coq/releases/40827115/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/40827115/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.13.2","id":40827115,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTQwODI3MTE1","tag_name":"V8.13.2","target_commitish":"v8.13","name":"Coq 8.13.2","draft":false,"prerelease":false,"created_at":"2021-04-01T13:43:53Z","published_at":"2021-04-12T08:10:47Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/35556113","id":35556113,"node_id":"MDEyOlJlbGVhc2VBc3NldDM1NTU2MTEz","name":"coq-8.13.2-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3794129,"download_count":904,"created_at":"2021-04-21T15:22:55Z","updated_at":"2021-04-21T15:23:02Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.2/coq-8.13.2-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.13.2","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.13.2","body":"Hotfix:\r\n- Fix crash when using `vm_compute` on an irreducible `PArray.set`\r\n- Fix crash when loading `.vo` files containing a `vm_compute` normalized primitive array\r\n- Fix `Ltac2.Array.init` computational complexity\r\n\r\nPackages:\r\n- binary packages are provided by the Coq Platform version 2021.02.1, see the platform [release page](https://github.com/coq/platform/releases)"},{"url":"https://api.github.com/repos/coq/coq/releases/38424681","assets_url":"https://api.github.com/repos/coq/coq/releases/38424681/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/38424681/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.13.1","id":38424681,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTM4NDI0Njgx","tag_name":"V8.13.1","target_commitish":"master","name":"Coq 8.13.1","draft":false,"prerelease":false,"created_at":"2021-02-22T13:22:57Z","published_at":"2021-02-22T13:32:09Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/32425670","id":32425670,"node_id":"MDEyOlJlbGVhc2VBc3NldDMyNDI1Njcw","name":"coq-8.13.1-installer-macos.dmg","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-apple-diskimage","state":"uploaded","size":139836695,"download_count":2858,"created_at":"2021-02-22T15:32:28Z","updated_at":"2021-02-22T15:32:43Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/32494799","id":32494799,"node_id":"MDEyOlJlbGVhc2VBc3NldDMyNDk0Nzk5","name":"coq-8.13.1-installer-windows-i686.exe","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":195046264,"download_count":1002,"created_at":"2021-02-23T18:34:02Z","updated_at":"2021-02-23T18:34:51Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/32495177","id":32495177,"node_id":"MDEyOlJlbGVhc2VBc3NldDMyNDk1MTc3","name":"coq-8.13.1-installer-windows-x86_64.exe","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":198583224,"download_count":3949,"created_at":"2021-02-23T18:34:51Z","updated_at":"2021-02-23T18:36:01Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/32443990","id":32443990,"node_id":"MDEyOlJlbGVhc2VBc3NldDMyNDQzOTkw","name":"coq-8.13.1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3783342,"download_count":382,"created_at":"2021-02-22T22:13:18Z","updated_at":"2021-02-22T22:13:20Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.13.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.13.1","body":"Hotfix:\r\n- Fix arities of VM opcodes for some floating-point operations that could cause memory corruption\r\n\r\n__Notes regarding the macOS installer__: This installer is only compatible with macOS 10.13 or higher. Because the application is signed but not \"notarized\", on macOS 10.15 (Catalina), it won't open by default, unless you right-click and chose \"Open\". Cf. https://github.com/coq/platform/issues/51 to learn more.\r\n\r\n__Notes regarding the Windows installer__: ~The \"VST\" component of the installer is currently empty. We are working on a fix.~ Update: installers are now complete."},{"url":"https://api.github.com/repos/coq/coq/releases/36082534","assets_url":"https://api.github.com/repos/coq/coq/releases/36082534/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/36082534/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.13.0","id":36082534,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTM2MDgyNTM0","tag_name":"V8.13.0","target_commitish":"v8.13","name":"Coq 8.13.0","draft":false,"prerelease":false,"created_at":"2021-01-07T09:31:35Z","published_at":"2021-01-07T09:35:45Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/30582011","id":30582011,"node_id":"MDEyOlJlbGVhc2VBc3NldDMwNTgyMDEx","name":"coq-8.13.0-installer-macos.dmg","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-apple-diskimage","state":"uploaded","size":139355821,"download_count":1132,"created_at":"2021-01-12T11:38:24Z","updated_at":"2021-01-12T11:38:44Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/30548387","id":30548387,"node_id":"MDEyOlJlbGVhc2VBc3NldDMwNTQ4Mzg3","name":"coq-8.13.0-installer-windows-i686.exe","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":194650936,"download_count":423,"created_at":"2021-01-11T18:07:46Z","updated_at":"2021-01-11T18:08:04Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/30548391","id":30548391,"node_id":"MDEyOlJlbGVhc2VBc3NldDMwNTQ4Mzkx","name":"coq-8.13.0-installer-windows-x86_64.exe","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":198177520,"download_count":1853,"created_at":"2021-01-11T18:08:04Z","updated_at":"2021-01-11T18:08:21Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/30985274","id":30985274,"node_id":"MDEyOlJlbGVhc2VBc3NldDMwOTg1Mjc0","name":"coq-8.13.0-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3776585,"download_count":377,"created_at":"2021-01-21T09:04:34Z","updated_at":"2021-01-21T09:04:41Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.13.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.13.0","body":"Highlights:\r\n- Introduction of primitive persistent arrays in the core language, implemented using imperative persistent arrays.\r\n- Introduction of definitional proof irrelevance for the equality type defined in the SProp sort.\r\n- Many improvements to the handling of notations, including number notations, recursive notations and notations with bindings. A new algorithm chooses the most precise notation available to print an expression, which might introduce changes in printing behavior.\r\n\r\nSee the [changelog](https://coq.github.io/doc/v8.13/refman/changes.html#version-8-13) for an overview of the new features and changes.\r\n\r\n__Notes regarding the macOS installer__: This installer is only compatible with macOS 10.13 or higher. Because the application is signed but not \"notarized\", on macOS 10.15 (Catalina), it won't open by default, unless you right-click and chose \"Open\". Cf. https://github.com/coq/platform/issues/51 to learn more.\r\n\r\n__Update__: The OSX bundle was regenerated in order to include the missing file libgmp"},{"url":"https://api.github.com/repos/coq/coq/releases/35145785","assets_url":"https://api.github.com/repos/coq/coq/releases/35145785/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/35145785/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.12.2","id":35145785,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTM1MTQ1Nzg1","tag_name":"V8.12.2","target_commitish":"v8.12","name":"Coq 8.12.2","draft":false,"prerelease":false,"created_at":"2020-12-11T08:48:43Z","published_at":"2020-12-11T10:34:09Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/29433108","id":29433108,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5NDMzMTA4","name":"coq-8.12.2-installer-macos.dmg","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":176364292,"download_count":814,"created_at":"2020-12-11T10:55:34Z","updated_at":"2020-12-11T11:25:44Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/29827956","id":29827956,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5ODI3OTU2","name":"coq-8.12.2-installer-windows-x86_64.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":218496088,"download_count":931,"created_at":"2020-12-21T10:03:32Z","updated_at":"2020-12-21T10:12:00Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/29432144","id":29432144,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5NDMyMTQ0","name":"coq-8.12.2-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3605191,"download_count":416,"created_at":"2020-12-11T10:27:38Z","updated_at":"2020-12-11T10:28:49Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.12.2","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.12.2","body":"This release fixes two impacting 8.12 regressions (in notations and the implicit argument inference of the `exists` tactic). See [changelog](https://coq.inria.fr/distrib/V8.12.2/refman/changes.html#changes-in-8-12-2).\r\n\r\n**New:** a 64-bit Windows [Coq platform](https://github.com/coq/platform) installer is now available. A 32-bit Windows installer should eventually become available."},{"url":"https://api.github.com/repos/coq/coq/releases/34932461","assets_url":"https://api.github.com/repos/coq/coq/releases/34932461/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/34932461/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.13%2Bbeta1","id":34932461,"author":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTM0OTMyNDYx","tag_name":"V8.13+beta1","target_commitish":"v8.13","name":"Coq 8.13+beta1","draft":false,"prerelease":true,"created_at":"2020-12-07T13:07:00Z","published_at":"2020-12-07T14:52:44Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/29258725","id":29258725,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5MjU4NzI1","name":"coq-8.13+beta1-installer-macos.dmg","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-apple-diskimage","state":"uploaded","size":142237115,"download_count":36,"created_at":"2020-12-07T16:28:47Z","updated_at":"2020-12-07T16:29:01Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13%2Bbeta1/coq-8.13%2Bbeta1-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/29316376","id":29316376,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5MzE2Mzc2","name":"coq-8.13+beta1-installer-windows-x86_64.exe","label":null,"uploader":{"login":"gares","id":1013846,"node_id":"MDQ6VXNlcjEwMTM4NDY=","avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=4","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":201850928,"download_count":185,"created_at":"2020-12-08T20:09:39Z","updated_at":"2020-12-08T20:10:29Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13%2Bbeta1/coq-8.13%2Bbeta1-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/29429299","id":29429299,"node_id":"MDEyOlJlbGVhc2VBc3NldDI5NDI5Mjk5","name":"coq-8.13+beta1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3749259,"download_count":30,"created_at":"2020-12-11T09:10:59Z","updated_at":"2020-12-11T09:11:39Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.13%2Bbeta1/coq-8.13%2Bbeta1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.13+beta1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.13+beta1","body":"We encourage our users to test this beta release, in particular:\r\n\r\n- The windows installer is now based on the Coq platform: This\r\n greatly simplifies its build process and makes it easy to add \r\n more packages. At the same time this new installer was only\r\n tested by two people, so if you use Windows please give us\r\n feedback on any problem you may encounter.\r\n\r\n- The notation system received many fixes and improvements, in\r\n particular the way notations are selected for printing changed:\r\n Coq now prefers notations which match a larger part of the term to\r\n abbreviate, and takes into account the order in which notations are \r\n imported in the current scope only in a second instance.\r\n The new rules were designed together with power users, and tested\r\n by some of them, but our automatic testing infrastructure for \r\n regressions in notation printing is still weak. If your Coq library\r\n makes heavy use of notations, please give us feedback on any \r\n regression.\r\n\r\nSee the [changelog](https://coq.github.io/doc/v8.13/refman/changes.html#version-8-13) for the complete list of changes."},{"url":"https://api.github.com/repos/coq/coq/releases/33998723","assets_url":"https://api.github.com/repos/coq/coq/releases/33998723/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/33998723/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.12.1","id":33998723,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTMzOTk4NzIz","tag_name":"V8.12.1","target_commitish":"v8.12","name":"Coq 8.12.1","draft":false,"prerelease":false,"created_at":"2020-11-13T17:05:55Z","published_at":"2020-11-16T13:39:19Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/28856511","id":28856511,"node_id":"MDEyOlJlbGVhc2VBc3NldDI4ODU2NTEx","name":"coq-8.12.1-installer-macos.dmg","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":178922928,"download_count":288,"created_at":"2020-11-27T14:23:54Z","updated_at":"2020-11-27T14:29:46Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/28369275","id":28369275,"node_id":"MDEyOlJlbGVhc2VBc3NldDI4MzY5Mjc1","name":"coq-8.12.1-installer-windows-i686.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":171472256,"download_count":251,"created_at":"2020-11-16T13:34:14Z","updated_at":"2020-11-16T13:35:45Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/28369329","id":28369329,"node_id":"MDEyOlJlbGVhc2VBc3NldDI4MzY5MzI5","name":"coq-8.12.1-installer-windows-x86_64.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":175168672,"download_count":1074,"created_at":"2020-11-16T13:35:55Z","updated_at":"2020-11-16T13:38:03Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/28365805","id":28365805,"node_id":"MDEyOlJlbGVhc2VBc3NldDI4MzY1ODA1","name":"coq-8.12.1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3605256,"download_count":271,"created_at":"2020-11-16T11:54:10Z","updated_at":"2020-11-16T11:54:59Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.1/coq-8.12.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.12.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.12.1","body":"This release contains numerous bug fixes and documentation improvements. Some bug fix highlights:\r\n\r\n- Polymorphic side-effects inside monomorphic definitions were incorrectly handled as not inlined. This allowed deriving an inconsistency (#13330).\r\n- Regression in error reporting after SSReflect's `case` tactic. A generic error message \"Could not fill dependent hole in apply\" was reported for any error following `case` or `elim` (#12837).\r\n- Several bugs with `Search` (#13298, #13349).\r\n- The `details` environment introduced in coqdoc in Coq 8.12 can now be used as advertised in the reference manual (#12772).\r\n- View menu \"Display parentheses\" introduced in CoqIDE in Coq 8.12 now works correctly (#12793).\r\n\r\nSee the [changelog](https://coq.inria.fr/refman/changes.html#changes-in-8-12-1) for details and a more complete list.\r\n\r\n**New**: a macOS installer is now available."},{"url":"https://api.github.com/repos/coq/coq/releases/28982991","assets_url":"https://api.github.com/repos/coq/coq/releases/28982991/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/28982991/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.12.0","id":28982991,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTI4OTgyOTkx","tag_name":"V8.12.0","target_commitish":"v8.12","name":"Coq 8.12.0","draft":false,"prerelease":false,"created_at":"2020-07-24T18:31:36Z","published_at":"2020-07-27T14:45:38Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/23274156","id":23274156,"node_id":"MDEyOlJlbGVhc2VBc3NldDIzMjc0MTU2","name":"coq-8.12.0-installer-macos.dmg","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/x-diskcopy","state":"uploaded","size":178766289,"download_count":2016,"created_at":"2020-07-27T11:55:07Z","updated_at":"2020-07-27T11:55:33Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/23273093","id":23273093,"node_id":"MDEyOlJlbGVhc2VBc3NldDIzMjczMDkz","name":"coq-8.12.0-installer-windows-i686.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":208978288,"download_count":931,"created_at":"2020-07-27T11:25:15Z","updated_at":"2020-07-27T11:31:09Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/23273854","id":23273854,"node_id":"MDEyOlJlbGVhc2VBc3NldDIzMjczODU0","name":"coq-8.12.0-installer-windows-x86_64.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":212904984,"download_count":4701,"created_at":"2020-07-27T11:36:59Z","updated_at":"2020-07-27T11:43:03Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/23273850","id":23273850,"node_id":"MDEyOlJlbGVhc2VBc3NldDIzMjczODUw","name":"coq-8.12.0-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3511440,"download_count":1123,"created_at":"2020-07-27T11:36:46Z","updated_at":"2020-07-27T11:36:52Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12.0/coq-8.12.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.12.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.12.0","body":"Some highlights from this release are:\r\n- a new binder notation for non-maximal implicit arguments;\r\n- an improved `Search` command which accepts more complex queries;\r\n- many additions to the standard library;\r\n- a restructured reference manual;\r\n- the deprecation of the `omega` tactic in favor the `lia` tactic.\r\n\r\nPlease see [the changelog](https://coq.github.io/doc/v8.12/refman/changes.html#version-8-12) to learn more about this release.\r\n\r\n### Notes regarding the macOS installer\r\n\r\nThis installer is only compatible with macOS 10.13 or higher. Because the application is signed but not \"notarized\", on macOS 10.15 (Catalina), it won't open by default, unless you right-click and chose \"Open\". Cf. https://github.com/coq/platform/issues/51 to learn more."},{"url":"https://api.github.com/repos/coq/coq/releases/27684574","assets_url":"https://api.github.com/repos/coq/coq/releases/27684574/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/27684574/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.12%2Bbeta1","id":27684574,"author":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTI3Njg0NTc0","tag_name":"V8.12+beta1","target_commitish":"v8.12","name":"Coq 8.12+beta1","draft":false,"prerelease":true,"created_at":"2020-06-12T22:44:16Z","published_at":"2020-06-18T15:25:14Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/21862066","id":21862066,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxODYyMDY2","name":"coq-8.12+beta1-installer-macos-unsigned.dmg","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":177074102,"download_count":37,"created_at":"2020-06-18T14:53:51Z","updated_at":"2020-06-18T15:40:24Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12%2Bbeta1/coq-8.12%2Bbeta1-installer-macos-unsigned.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21859611","id":21859611,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxODU5NjEx","name":"coq-8.12+beta1-installer-windows-i686-unsigned.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":208895438,"download_count":29,"created_at":"2020-06-18T13:36:27Z","updated_at":"2020-06-18T15:40:24Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12%2Bbeta1/coq-8.12%2Bbeta1-installer-windows-i686-unsigned.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21860792","id":21860792,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxODYwNzky","name":"coq-8.12+beta1-installer-windows-x86_64-unsigned.exe","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":212810156,"download_count":57,"created_at":"2020-06-18T14:18:31Z","updated_at":"2020-06-18T15:40:24Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12%2Bbeta1/coq-8.12%2Bbeta1-installer-windows-x86_64-unsigned.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21859315","id":21859315,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxODU5MzE1","name":"coq-8.12+beta1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3506853,"download_count":39,"created_at":"2020-06-18T13:26:21Z","updated_at":"2020-06-18T13:27:11Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.12%2Bbeta1/coq-8.12%2Bbeta1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.12+beta1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.12+beta1","body":"
We are happy to announce the first beta release of Coq 8.12.\r\n\r\n
This new version integrates many usability improvements, in\r\nparticular to notations, scopes and implicit arguments, along with\r\nmany bug fixes and major improvements to the reference manual. See the\r\nchangelog\r\nfor details.\r\n\r\n
As usual, we are looking for feedback from beta\r\ntesters. In addition, we are looking for beta readers of the updated reference\r\nmanual.\r\n\r\n
The 8.12 improvements to the reference manual are the start of an\r\neffort to improve Coq documentation. We believe the documentation\r\nneeds considerable work to better serve the needs of the Coq\r\ncommunity. Better documentation will encourage more people to learn,\r\nteach and use Coq. We need your help for this. We're looking for\r\nvolunteers who will help rewrite or add new material (such as better\r\nexplanations and new examples) to the new pages. Writers do not have\r\nto be experts on their topic: we can pair writers with experts that\r\ncan answer questions and provide examples. Indeed, it's a great way to\r\nlearn more about Coq. We'd also appreciate specific feedback, perhaps\r\ndetailed, on what needs to be improved, what's missing and what things\r\nto improve first. If you are willing to help, please see the dedicated\r\nwiki page to learn more."},{"url":"https://api.github.com/repos/coq/coq/releases/27029038","assets_url":"https://api.github.com/repos/coq/coq/releases/27029038/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/27029038/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.11.2","id":27029038,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTI3MDI5MDM4","tag_name":"V8.11.2","target_commitish":"v8.11","name":"Coq 8.11.2","draft":false,"prerelease":false,"created_at":"2020-05-14T20:29:37Z","published_at":"2020-06-09T14:56:48Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/21888525","id":21888525,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxODg4NTI1","name":"coq-8.11.2-installer-macos.dmg","label":"","uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":171670798,"download_count":524,"created_at":"2020-06-19T09:46:13Z","updated_at":"2020-06-19T09:46:22Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21581001","id":21581001,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxNTgxMDAx","name":"coq-8.11.2-installer-windows-i686.exe","label":"","uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":207888176,"download_count":386,"created_at":"2020-06-09T14:56:55Z","updated_at":"2020-06-09T16:24:50Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21581020","id":21581020,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxNTgxMDIw","name":"coq-8.11.2-installer-windows-x86_64.exe","label":"","uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":212048712,"download_count":1229,"created_at":"2020-06-09T14:57:43Z","updated_at":"2020-06-09T16:24:50Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/21581325","id":21581325,"node_id":"MDEyOlJlbGVhc2VBc3NldDIxNTgxMzI1","name":"coq-8.11.2-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3138018,"download_count":314,"created_at":"2020-06-09T15:04:55Z","updated_at":"2020-06-09T15:05:21Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.2/coq-8.11.2-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.11.2","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.11.2","body":"The Coq 8.11.2 release brings a few minor changes. See the [changelog](https://coq.github.io/doc/V8.11.2/refman/changes.html#changes-in-8-11-2)."},{"url":"https://api.github.com/repos/coq/coq/releases/25200248","assets_url":"https://api.github.com/repos/coq/coq/releases/25200248/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/25200248/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.11.1","id":25200248,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTI1MjAwMjQ4","tag_name":"V8.11.1","target_commitish":"v8.11","name":"Coq 8.11.1","draft":false,"prerelease":false,"created_at":"2020-04-04T15:54:54Z","published_at":"2020-04-08T14:09:00Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/20162911","id":20162911,"node_id":"MDEyOlJlbGVhc2VBc3NldDIwMTYyOTEx","name":"coq-8.11.1-installer-macos.dmg","label":null,"uploader":{"login":"vbgl","id":2612464,"node_id":"MDQ6VXNlcjI2MTI0NjQ=","avatar_url":"https://avatars.githubusercontent.com/u/2612464?v=4","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":131085750,"download_count":691,"created_at":"2020-04-26T09:28:56Z","updated_at":"2020-04-26T09:49:50Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/19538657","id":19538657,"node_id":"MDEyOlJlbGVhc2VBc3NldDE5NTM4NjU3","name":"coq-8.11.1-installer-windows-i686.exe","label":"","uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":207759616,"download_count":573,"created_at":"2020-04-08T15:03:54Z","updated_at":"2020-04-08T15:13:31Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/19539498","id":19539498,"node_id":"MDEyOlJlbGVhc2VBc3NldDE5NTM5NDk4","name":"coq-8.11.1-installer-windows-x86_64.exe","label":"","uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":212027760,"download_count":1762,"created_at":"2020-04-08T15:12:19Z","updated_at":"2020-04-08T15:13:31Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/19586084","id":19586084,"node_id":"MDEyOlJlbGVhc2VBc3NldDE5NTg2MDg0","name":"coq-8.11.1-reference-manual.pdf","label":null,"uploader":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3126895,"download_count":498,"created_at":"2020-04-09T11:07:55Z","updated_at":"2020-04-09T11:08:30Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.1/coq-8.11.1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.11.1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.11.1","body":"The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the [changelog](https://coq.github.io/doc/V8.11.1/refman/changes.html#changes-in-8-11-1) for more details."},{"url":"https://api.github.com/repos/coq/coq/releases/23117961","assets_url":"https://api.github.com/repos/coq/coq/releases/23117961/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/23117961/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.11.0","id":23117961,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTIzMTE3OTYx","tag_name":"V8.11.0","target_commitish":"v8.11","name":"Coq 8.11.0","draft":false,"prerelease":false,"created_at":"2020-01-24T22:02:03Z","published_at":"2020-01-30T07:03:58Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/17614452","id":17614452,"node_id":"MDEyOlJlbGVhc2VBc3NldDE3NjE0NDUy","name":"coq-8.11.0-installer-macos.dmg","label":null,"uploader":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"content_type":"application/x-apple-diskimage","state":"uploaded","size":136431358,"download_count":1704,"created_at":"2020-01-27T23:22:20Z","updated_at":"2020-01-27T23:27:31Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/17648816","id":17648816,"node_id":"MDEyOlJlbGVhc2VBc3NldDE3NjQ4ODE2","name":"coq-8.11.0-installer-windows-i686.exe","label":null,"uploader":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":206280720,"download_count":871,"created_at":"2020-01-29T08:44:24Z","updated_at":"2020-01-29T08:45:37Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/17648817","id":17648817,"node_id":"MDEyOlJlbGVhc2VBc3NldDE3NjQ4ODE3","name":"coq-8.11.0-installer-windows-x86_64.exe","label":null,"uploader":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":210300712,"download_count":4689,"created_at":"2020-01-29T08:44:24Z","updated_at":"2020-01-29T08:46:42Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/17644048","id":17644048,"node_id":"MDEyOlJlbGVhc2VBc3NldDE3NjQ0MDQ4","name":"coq-8.11.0-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3123326,"download_count":1039,"created_at":"2020-01-29T02:21:59Z","updated_at":"2020-01-29T02:22:43Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11.0/coq-8.11.0-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.11.0","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.11.0","body":"The main changes brought by Coq version 8.11 are:\r\n- **Ltac2**, a new tactic language for writing more robust larger scale\r\n tactics, with built-in support for datatypes and the multi-goal tactic monad.\r\n- **Primitive floats** are integrated in terms and follow the binary64 format\r\n of the IEEE 754 standard, as specified in the `Coq.Float.Floats` library.\r\n\r\nMany other cleanups and improvements have been performed and are further described in the [changelog](https://coq.github.io/doc/V8.11.0/refman/changes.html#version-8-11).\r\n\r\nSpecial note on **compatibility**:\r\n- **Fixed bugs** of `Export` and `Import` that can have a\r\n significant impact on user developments (**common source of\r\n incompatibility!**).\r\n"},{"url":"https://api.github.com/repos/coq/coq/releases/22021569","assets_url":"https://api.github.com/repos/coq/coq/releases/22021569/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/22021569/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.11%2Bbeta1","id":22021569,"author":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTIyMDIxNTY5","tag_name":"V8.11+beta1","target_commitish":"v8.11","name":"Coq 8.11+β1","draft":false,"prerelease":true,"created_at":"2019-12-05T22:06:37Z","published_at":"2019-12-06T13:17:59Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/16637337","id":16637337,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NjM3MzM3","name":"coq-8.11+beta1-installer-macos.dmg","label":null,"uploader":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"content_type":"application/x-apple-diskimage","state":"uploaded","size":133584937,"download_count":48,"created_at":"2019-12-06T13:00:37Z","updated_at":"2019-12-06T13:03:35Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11%2Bbeta1/coq-8.11%2Bbeta1-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16637336","id":16637336,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NjM3MzM2","name":"coq-8.11+beta1-installer-windows-i686.exe","label":null,"uploader":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":210171413,"download_count":45,"created_at":"2019-12-06T13:00:37Z","updated_at":"2019-12-06T13:02:16Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11%2Bbeta1/coq-8.11%2Bbeta1-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16637380","id":16637380,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NjM3Mzgw","name":"coq-8.11+beta1-installer-windows-x86_64.exe","label":null,"uploader":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":214148324,"download_count":131,"created_at":"2019-12-06T13:03:41Z","updated_at":"2019-12-06T13:04:39Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11%2Bbeta1/coq-8.11%2Bbeta1-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16637640","id":16637640,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NjM3NjQw","name":"coq-8.11+beta1-reference-manual.pdf","label":null,"uploader":{"login":"ppedrot","id":1202327,"node_id":"MDQ6VXNlcjEyMDIzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/1202327?v=4","gravatar_id":"","url":"https://api.github.com/users/ppedrot","html_url":"https://github.com/ppedrot","followers_url":"https://api.github.com/users/ppedrot/followers","following_url":"https://api.github.com/users/ppedrot/following{/other_user}","gists_url":"https://api.github.com/users/ppedrot/gists{/gist_id}","starred_url":"https://api.github.com/users/ppedrot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ppedrot/subscriptions","organizations_url":"https://api.github.com/users/ppedrot/orgs","repos_url":"https://api.github.com/users/ppedrot/repos","events_url":"https://api.github.com/users/ppedrot/events{/privacy}","received_events_url":"https://api.github.com/users/ppedrot/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":3113240,"download_count":78,"created_at":"2019-12-06T13:24:27Z","updated_at":"2019-12-06T13:25:16Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.11%2Bbeta1/coq-8.11%2Bbeta1-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.11+beta1","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.11+beta1","body":"This is the first β version of Coq 8.11.\r\n\r\nThe main changes brought by Coq version 8.11 are:\r\n- **Ltac2**, a new tactic language for writing more robust larger scale\r\n tactics, with built-in support for datatypes and the multi-goal tactic monad.\r\n- **Primitive floats** are integrated in terms and follow the binary64 format\r\n of the IEEE 754 standard, as specified in the `Coq.Float.Floats` library.\r\n\r\nMany other cleanups and improvements have been performed and are further described in the changelog.\r\n\r\nSpecial note on **compability**:\r\n- **Fixed bugs** of `Export` and `Import` that can have a\r\n significant impact on user developments (**common source of\r\n incompatibility!**).\r\n"},{"url":"https://api.github.com/repos/coq/coq/releases/21832519","assets_url":"https://api.github.com/repos/coq/coq/releases/21832519/assets","upload_url":"https://uploads.github.com/repos/coq/coq/releases/21832519/assets{?name,label}","html_url":"https://github.com/coq/coq/releases/tag/V8.10.2","id":21832519,"author":{"login":"vbgl","id":2612464,"node_id":"MDQ6VXNlcjI2MTI0NjQ=","avatar_url":"https://avatars.githubusercontent.com/u/2612464?v=4","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"node_id":"MDc6UmVsZWFzZTIxODMyNTE5","tag_name":"V8.10.2","target_commitish":"v8.10","name":"Coq 8.10.2","draft":false,"prerelease":false,"created_at":"2019-11-28T22:26:38Z","published_at":"2019-11-29T10:31:39Z","assets":[{"url":"https://api.github.com/repos/coq/coq/releases/assets/16467735","id":16467735,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NDY3NzM1","name":"coq-8.10.2-installer-macos.dmg","label":null,"uploader":{"login":"vbgl","id":2612464,"node_id":"MDQ6VXNlcjI2MTI0NjQ=","avatar_url":"https://avatars.githubusercontent.com/u/2612464?v=4","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"content_type":"application/octet-stream","state":"uploaded","size":128060812,"download_count":1242,"created_at":"2019-11-29T00:02:08Z","updated_at":"2019-11-29T00:17:43Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-macos.dmg"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16478162","id":16478162,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NDc4MTYy","name":"coq-8.10.2-installer-windows-i686.exe","label":null,"uploader":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":210161664,"download_count":794,"created_at":"2019-11-29T14:12:56Z","updated_at":"2019-11-29T14:13:40Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-i686.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16478161","id":16478161,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NDc4MTYx","name":"coq-8.10.2-installer-windows-x86_64.exe","label":null,"uploader":{"login":"maximedenes","id":647105,"node_id":"MDQ6VXNlcjY0NzEwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/647105?v=4","gravatar_id":"","url":"https://api.github.com/users/maximedenes","html_url":"https://github.com/maximedenes","followers_url":"https://api.github.com/users/maximedenes/followers","following_url":"https://api.github.com/users/maximedenes/following{/other_user}","gists_url":"https://api.github.com/users/maximedenes/gists{/gist_id}","starred_url":"https://api.github.com/users/maximedenes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/maximedenes/subscriptions","organizations_url":"https://api.github.com/users/maximedenes/orgs","repos_url":"https://api.github.com/users/maximedenes/repos","events_url":"https://api.github.com/users/maximedenes/events{/privacy}","received_events_url":"https://api.github.com/users/maximedenes/received_events","type":"User","site_admin":false},"content_type":"application/x-ms-dos-executable","state":"uploaded","size":213992000,"download_count":3701,"created_at":"2019-11-29T14:12:56Z","updated_at":"2019-11-29T14:13:21Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-x86_64.exe"},{"url":"https://api.github.com/repos/coq/coq/releases/assets/16467628","id":16467628,"node_id":"MDEyOlJlbGVhc2VBc3NldDE2NDY3NjI4","name":"coq-8.10.2-reference-manual.pdf","label":null,"uploader":{"login":"vbgl","id":2612464,"node_id":"MDQ6VXNlcjI2MTI0NjQ=","avatar_url":"https://avatars.githubusercontent.com/u/2612464?v=4","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"content_type":"application/pdf","state":"uploaded","size":2969815,"download_count":628,"created_at":"2019-11-28T23:49:20Z","updated_at":"2019-11-28T23:49:44Z","browser_download_url":"https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-reference-manual.pdf"}],"tarball_url":"https://api.github.com/repos/coq/coq/tarball/V8.10.2","zipball_url":"https://api.github.com/repos/coq/coq/zipball/V8.10.2","body":"Coq 8.10.2 brings a few bug fixes and documentation improvements, in particular:\r\n\r\n - Fixed a critical bug of template polymorphism and nonlinear universes\r\n - Fixed a few anomalies\r\n - Fixed an 8.10 regression related to the printing of coercions associated to notations\r\n - Fixed uneven dimensions of CoqIDE panels when window has been resized\r\n - Fixed queries in CoqIDE\r\n\r\nMore details can be found in the [reference manual](https://coq.github.io/doc/V8.10.2/refman/changes.html#changes-in-8-10-2)."}]