| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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). | ||
| * | Restore ssrmatching and its reverse dependencies | Benjamin Barenblat | 2019-01-17 |
| 4181269ff800d58e60b886d0aaa2894444a9cd0d removed ssrmatching and everything that needed it because upstream had shipped a couple of files with bad license headers. Those files have now been fixed (https://github.com/coq/coq/pull/9282), so grab them from master and apply them in a patch. This restores ssrmatching to the Coq standard library. Once upstream cuts its next release, we should be able to delete the patch and simply import the files from the upstream tarball. | |||
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |