diff options
Diffstat (limited to 'lang/coq/PLIST')
-rw-r--r-- | lang/coq/PLIST | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/PLIST b/lang/coq/PLIST index c4feffcd6b9..164c12d6aad 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.15 2014/10/09 22:19:01 jaapb Exp $ +@comment $NetBSD: PLIST,v 1.16 2015/04/25 13:41:18 jaapb Exp $ bin/coq-tex bin/coq_makefile bin/coqc @@ -651,6 +651,7 @@ lib/coq/theories/Logic/Epsilon.vo lib/coq/theories/Logic/Eqdep.vo lib/coq/theories/Logic/EqdepFacts.vo lib/coq/theories/Logic/Eqdep_dec.vo +lib/coq/theories/Logic/ExtensionalityFacts.vo lib/coq/theories/Logic/FunctionalExtensionality.vo lib/coq/theories/Logic/Hurkens.vo lib/coq/theories/Logic/IndefiniteDescription.vo |