diff options
| author | antoine <antoine@FreeBSD.org> | 2014-11-14 07:24:00 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-11-14 07:24:00 +0800 |
| commit | fe3a6546aa596b2a68883bb499570e05226e1c32 (patch) | |
| tree | 35e86ca832aecba11b3463aa21de147c0c0bf113 /math/coq | |
| parent | c6cd84a300c42253132f06b5dea09ad436b7076e (diff) | |
| download | freebsd-ports-gnome-fe3a6546aa596b2a68883bb499570e05226e1c32.tar.gz freebsd-ports-gnome-fe3a6546aa596b2a68883bb499570e05226e1c32.tar.zst freebsd-ports-gnome-fe3a6546aa596b2a68883bb499570e05226e1c32.zip | |
Cleanup plist
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/pkg-plist | 86 |
1 files changed, 1 insertions, 85 deletions
diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index 090299e6907f..aed57e1924b5 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -970,88 +970,4 @@ share/emacs/site-lisp/coq.el share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coqdoc.sty %%DATADIR%%/coq.png -@dirrm %%DATADIR%% -%%IDE%%@dirrm lib/coq/ide/utils -%%IDE%%@dirrm lib/coq/ide -@dirrm lib/coq/toplevel -@dirrm lib/coq/tactics -@dirrm lib/coq/parsing -@dirrm lib/coq/proofs -@dirrm lib/coq/interp -@dirrm lib/coq/pretyping -@dirrm lib/coq/library -@dirrm lib/coq/kernel -@dirrm lib/coq/lib -@dirrm lib/coq/config -@dirrm lib/coq/user-contrib -@dirrm lib/coq/states -@dirrm lib/coq/plugins/syntax -@dirrm lib/coq/plugins/subtac -@dirrm lib/coq/plugins/firstorder -@dirrm lib/coq/plugins/cc -@dirrm lib/coq/plugins/xml -@dirrm lib/coq/plugins/decl_mode -@dirrm lib/coq/plugins/extraction -@dirrm lib/coq/plugins/nsatz -@dirrm lib/coq/plugins/quote -@dirrm lib/coq/plugins/setoid_ring -@dirrm lib/coq/plugins/rtauto -@dirrm lib/coq/plugins/funind -@dirrm lib/coq/plugins/fourier -@dirrm lib/coq/plugins/field -@dirrm lib/coq/plugins/ring -@dirrm lib/coq/plugins/micromega -@dirrm lib/coq/plugins/romega -@dirrm lib/coq/plugins/omega -@dirrm lib/coq/plugins -@dirrm lib/coq/theories/Vectors -@dirrm lib/coq/theories/Structures -@dirrm lib/coq/theories/Program -@dirrm lib/coq/theories/Classes -@dirrm lib/coq/theories/Unicode -@dirrm lib/coq/theories/Numbers/Rational/SpecViaQ -@dirrm lib/coq/theories/Numbers/Rational/BigQ -@dirrm lib/coq/theories/Numbers/Rational -@dirrm lib/coq/theories/Numbers/Natural/SpecViaZ -@dirrm lib/coq/theories/Numbers/Natural/Peano -@dirrm lib/coq/theories/Numbers/Natural/Binary -@dirrm lib/coq/theories/Numbers/Natural/BigN -@dirrm lib/coq/theories/Numbers/Natural/Abstract -@dirrm lib/coq/theories/Numbers/Natural -@dirrm lib/coq/theories/Numbers/NatInt -@dirrm lib/coq/theories/Numbers/Integer/SpecViaZ -@dirrm lib/coq/theories/Numbers/Integer/NatPairs -@dirrm lib/coq/theories/Numbers/Integer/Binary -@dirrm lib/coq/theories/Numbers/Integer/BigZ -@dirrm lib/coq/theories/Numbers/Integer/Abstract -@dirrm lib/coq/theories/Numbers/Integer -@dirrm lib/coq/theories/Numbers/Cyclic/ZModulo -@dirrm lib/coq/theories/Numbers/Cyclic/Int31 -@dirrm lib/coq/theories/Numbers/Cyclic/DoubleCyclic -@dirrm lib/coq/theories/Numbers/Cyclic/Abstract -@dirrm lib/coq/theories/Numbers/Cyclic -@dirrm lib/coq/theories/Numbers -@dirrm lib/coq/theories/QArith -@dirrm lib/coq/theories/Sorting -@dirrm lib/coq/theories/Reals -@dirrm lib/coq/theories/Wellfounded -@dirrm lib/coq/theories/Relations -@dirrm lib/coq/theories/MSets -@dirrm lib/coq/theories/FSets -@dirrm lib/coq/theories/Sets -@dirrm lib/coq/theories/Strings -@dirrm lib/coq/theories/Lists -@dirrm lib/coq/theories/Setoids -@dirrm lib/coq/theories/ZArith -@dirrm lib/coq/theories/NArith -@dirrm lib/coq/theories/PArith -@dirrm lib/coq/theories/Bool -@dirrm lib/coq/theories/Arith -@dirrm lib/coq/theories/Logic -@dirrm lib/coq/theories/Init -@dirrm lib/coq/theories -@dirrm lib/coq/tools/coqdoc -@dirrm lib/coq/tools -@dirrm lib/coq -@dirrm etc/xdg/coq -@dirrmtry etc/xdg +@dir lib/coq/user-contrib |