projects / gram.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3efdc9) | patch
Use Yices from Fedora repository
authorJean THOMAS <git0@pub.jeanthomas.me>
Fri, 24 Jul 2020 16:44:58 +0000 (18:44 +0200)
committerJean THOMAS <git0@pub.jeanthomas.me>
Fri, 24 Jul 2020 16:44:58 +0000 (18:44 +0200)
commit217360adae36097eb7daa364a55a570a57647600
treeeed81cea583b777f0d87c20afe0e6f88e44586c8tree
parentb3efdc9a842198f9d4516cc6f37f574a9b410af2commit | diff
Use Yices from Fedora repository
.build.yml diff | blob | history