| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Switch to 1.0 tag for traktitp22 | Chantal Keller | 2022-02-09 | 1 | -1/+1 |
| | | |||||
| * | Preparing release | Chantal Keller | 2022-02-09 | 1 | -1/+1 |
| | | |||||
| * | Use the official repo for trakt | Chantal Keller | 2022-02-04 | 1 | -1/+1 |
| | | |||||
| * | Temporarily switch to fork of trakt | Chantal Keller | 2022-02-04 | 1 | -2/+2 |
| | | |||||
| * | Local opam package | Chantal Keller | 2022-02-04 | 1 | -0/+44 |
 |
index : smtcoq | |
| Fork of https://github.com/smtcoq/smtcoq. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/coq-smtcoq.opam