| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Reenable ssrmatching and ssreflect |  Benjamin Barenblat | 2019-02-06 |
| Upstream has provided a free replacement for the nonfree ssrmatching file I removed in cf916fd97fbac51af6fa68ec2704da2a28ef9ede. Patch that file in and resume building ssrmatching and ssreflect. | |||
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |