| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
8.9.0 deleted some files under non-DFSG-free licenses, so we no longer
need to filter out those files when importing.
|
| |
|
|
|
|
|
|
|
|
| |
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).
|
| | |
|
| |
|
|
|
|
|
|
|
| |
Coq has introduced many new files in the last couple of years,
including several that are not DFSG-free. Rebuild and document the list
of files to be excluded from git-buildpackage imports.
Additionally, delete the purify_tarball script, as it’s been replaced
with the import filter.
|
| |\ |
|
| | | |
|
| |/ |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
Benjamin Barenblat
Stephane Glondu