| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Stop numbering patches |  Benjamin Barenblat | 2019-02-05 |
| | | | | | | Keeping patches sequentially numbered produces a messy Git history with many renames for compaction. It’s also redundant with the series file. | ||
| * | Prepare to import ssrmatching in 8.9.0 | Benjamin Barenblat | 2019-02-02 |
| Upstream has corrected most of the licensing issues with ssrmatching in 8.9.0. That version introduced one new file with a CeCILL-B license, but it’s an .mli file, so OCaml should be able to infer its contents. Don’t import the offending .mli, but do import the files with corrected license headers. Remove the patch introduced in 5d3dc22cc205021e517a81943952655c51777083 (which backported the correctly licensed files). | |||
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |