git.pld-linux.org Git - packages/coq.git/atom logThe Coq Proof Assistanthttp://git.pld-linux.org/?p=packages/coq.gitdraenogstatic/pld-favicon.icostatic/pld-logo.png2022-01-29T16:18:29Zgitweb- this version relies on fpmath=sse, so require sse2 on x862022-01-29T16:18:29ZJakub Boguszqboosh@pld-linux.orgJakub Boguszqboosh@pld-linux.org2022-01-29T16:18:29Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=7b6fb8ed08eabf02fff307aa963f4cf64f8da0ca
- this version relies on fpmath=sse, so require sse2 on x86
- updated to 8.15.02022-01-29T14:49:51ZJakub Boguszqboosh@pld-linux.orgJakub Boguszqboosh@pld-linux.org2022-01-29T14:49:51Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=672cbc20ebffc4f61631aee96158d814bbeb829b
- updated to 8.15.0
- added dune-prefix patch (install ocaml modules in standard ocaml dir, not directly in /usr/lib*)
- package ocaml modules in standard ocaml-coq* packages
rebuild with separate debuginfo build-ids2021-11-20T21:36:44ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2021-11-20T21:36:44Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c
rebuild with separate debuginfo build-ids
Release 3 (by relup.sh)
- filter out autodeps on private interfaces2021-03-29T06:48:08ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2021-03-29T06:48:08Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=3809f5dfc68c51f316b94599708c8078b7c78fe8
- filter out autodeps on private interfaces
- rel 2
- arm is a macro containing actual arm subarchs2021-03-28T19:45:42ZJakub Boguszqboosh@pld-linux.orgJakub Boguszqboosh@pld-linux.org2021-03-28T19:45:42Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=39bb02639bdbc600e4f0b3b49cb7461e728fbbe2
- no go on x322021-03-28T17:58:59ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2021-03-28T17:58:59Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=3e0583a42c53935024c1d59a611048a9702a823d
- up to 8.13.12021-03-28T16:52:50ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2021-03-28T16:52:50Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=b2cb8983182746588fc922b34f05c7ab2d285599
- up to 8.62017-06-05T23:25:41ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2017-06-05T23:25:41Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=6b871b2b1dfb5663da37fc48e10b4b7a6da74b56
- up to 8.4pl52014-11-16T12:09:08ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2014-11-16T12:09:08Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=7f3d6db518db9646aaab6ecd221a629a726309c3