diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-10-31 16:57:34 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-10-31 17:23:17 +0000 |
| commit | 02cc8aec8fb73007cf609118a6dd981b1e8c40db (patch) | |
| tree | be21c6758d720295616603b59e01931dd93b7a41 /math/lean/pkg-plist | |
| parent | f6eca5725e07a5db35aeca90eed87ec6979cff91 (diff) | |
| download | ports-02cc8aec8fb73007cf609118a6dd981b1e8c40db.tar.gz ports-02cc8aec8fb73007cf609118a6dd981b1e8c40db.zip | |
Diffstat (limited to 'math/lean/pkg-plist')
| -rw-r--r-- | math/lean/pkg-plist | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/math/lean/pkg-plist b/math/lean/pkg-plist index e57ddc87fa83..855276ded98d 100644 --- a/math/lean/pkg-plist +++ b/math/lean/pkg-plist @@ -401,14 +401,6 @@ lib/lean/leanpkg/leanpkg/toml.lean lib/lean/library/data/buffer.lean lib/lean/library/data/buffer/parser.lean lib/lean/library/data/dlist.lean -lib/lean/library/data/rbmap/default.lean -lib/lean/library/data/rbtree/basic.lean -lib/lean/library/data/rbtree/default.lean -lib/lean/library/data/rbtree/find.lean -lib/lean/library/data/rbtree/insert.lean -lib/lean/library/data/rbtree/main.lean -lib/lean/library/data/rbtree/min_max.lean -lib/lean/library/data/stream.lean lib/lean/library/data/vector.lean lib/lean/library/init/algebra/classes.lean lib/lean/library/init/algebra/default.lean @@ -471,10 +463,6 @@ lib/lean/library/init/data/ordering/lemmas.lean lib/lean/library/init/data/prod.lean lib/lean/library/init/data/punit.lean lib/lean/library/init/data/quot.lean -lib/lean/library/init/data/rbmap/basic.lean -lib/lean/library/init/data/rbmap/default.lean -lib/lean/library/init/data/rbtree/basic.lean -lib/lean/library/init/data/rbtree/default.lean lib/lean/library/init/data/repr.lean lib/lean/library/init/data/set.lean lib/lean/library/init/data/setoid.lean |