Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FIXME
Upstream-Contact: FIXME
Source: FIXME
Disclaimer: Autogenerated by licensecheck

Files: CHANGELOG.md
 Cargo.toml
 Makefile
 README.md
 debian/TODO
 debian/control
 debian/copyright-check
 debian/gbp.conf
 debian/patches/1002_newer_env_logger.patch
 debian/patches/1002_newer_indexmap.patch
 debian/patches/1002_newer_ordered-float.patch
 debian/patches/2001_no-wasm.patch
 debian/patches/2001_no_optional_features.patch
 debian/patches/2003_avoid_instant.patch
 debian/patches/README
 debian/patches/series
 debian/rules
 debian/source/format
 debian/source/lintian-overrides
 debian/tests/control
 debian/upstream/metadata
 debian/watch
 doc/egg.svg
 doc/egraphs.drawio
 release.toml
 scripts/nightly-static/.eslintrc.json
 scripts/nightly-static/index.html
 scripts/nightly-static/main.js
 scripts/run-nightly.sh
 src/dot.rs
 src/eclass.rs
 src/egraph.rs
 src/extract.rs
 src/language.rs
 src/lib.rs
 src/machine.rs
 src/macros.rs
 src/pattern.rs
 src/rewrite.rs
 src/run.rs
 src/subst.rs
 src/test.rs
 src/tutorials/_01_background.rs
 src/tutorials/_02_getting_started.rs
 src/tutorials/mod.rs
 src/unionfind.rs
 src/util.rs
 tests/lambda.rs
 tests/math.rs
 tests/prop.rs
 web-demo/Cargo.toml
 web-demo/README.md
 web-demo/src/main.rs
 web-demo/static/egg.css
 web-demo/static/index.html
Copyright: NONE
License: UNKNOWN
 FIXME

Files: LICENSE
Copyright: 2019, Max Willsey
License: Expat
 FIXME

