diff options
| author | dholland <dholland@pkgsrc.org> | 2015-12-29 06:22:21 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2015-12-29 06:22:21 +0000 |
| commit | 7ef1e77f190c8ba6c70695daa97afc7d6813e529 (patch) | |
| tree | 51050181707afca5c80fbac9a89dc7816299b1be /lang/coq | |
| parent | fe5a2aa3bbb872ba52dbe9b1f2b1d02b65ace893 (diff) | |
| download | pkgsrc-7ef1e77f190c8ba6c70695daa97afc7d6813e529.tar.gz | |
Sort.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/PLIST | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lang/coq/PLIST b/lang/coq/PLIST index 164c12d6aad..ec15b904226 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.16 2015/04/25 13:41:18 jaapb Exp $ +@comment $NetBSD: PLIST,v 1.17 2015/12/29 06:22:21 dholland Exp $ bin/coq-tex bin/coq_makefile bin/coqc @@ -683,8 +683,8 @@ lib/coq/theories/NArith/Ndiv_def.vo lib/coq/theories/NArith/Ngcd_def.vo lib/coq/theories/NArith/Nnat.vo lib/coq/theories/NArith/Nsqrt_def.vo -lib/coq/theories/Numbers/BinNums.vo lib/coq/theories/Numbers/BigNumPrelude.vo +lib/coq/theories/Numbers/BinNums.vo lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo @@ -710,8 +710,8 @@ lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo lib/coq/theories/Numbers/Integer/Abstract/ZGcd.vo -lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo lib/coq/theories/Numbers/Integer/Abstract/ZLcm.vo +lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo lib/coq/theories/Numbers/Integer/Abstract/ZMaxMin.vo lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo @@ -811,8 +811,8 @@ lib/coq/theories/Reals/DiscrR.vo lib/coq/theories/Reals/Exp_prop.vo lib/coq/theories/Reals/Integration.vo lib/coq/theories/Reals/LegacyRfield.vo -lib/coq/theories/Reals/Machin.vo lib/coq/theories/Reals/MVT.vo +lib/coq/theories/Reals/Machin.vo lib/coq/theories/Reals/NewtonInt.vo lib/coq/theories/Reals/PSeries_reg.vo lib/coq/theories/Reals/PartSum.vo |