]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e041a8d) | patch
- this version relies on fpmath=sse, so require sse2 on x86 master auto/th/coq-8.15.0-1
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100)
commit7b6fb8ed08eabf02fff307aa963f4cf64f8da0ca
tree7401eb1d55f96aebe683e339507cd1fdab3d6be1tree | snapshot
parente041a8de600b8e466f9a7148838fdbeb1ade537dcommit | diff
- this version relies on fpmath=sse, so require sse2 on x86
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.072172 seconds and 4 git commands to generate.