[ 18:36 amdmi3  ]

• 415738 archivers/libzip/pkg-descr
• 415738 archivers/lzmalib/pkg-descr
• 415738 archivers/packddir/pkg-descr
• 415738 audio/celt/pkg-descr
• 415738 audio/cueplayer/pkg-descr
• 415738 audio/decibel-audio-player/pkg-descr
• 415738 audio/glurp/pkg-descr
• 415738 audio/gstreamer-plugins-fluendo-mp3/pkg-descr
• 415738 audio/hawkvoice/pkg-descr
• 415738 audio/jack-keyboard/pkg-descr

Convert tab after WWW: in pkg-descrs to single space as per PHB

Approved by:	portmgr blanket

[ 10:44 amdmi3  ]

• 415499 games/0verkill/pkg-descr
• 415499 games/HeroesOfMightAndMagic/pkg-descr
• 415499 games/KnightCap/pkg-descr
• 415499 games/adonthell/pkg-descr
• 415499 games/awele/pkg-descr
• 415499 games/balazarbrothers/pkg-descr
• 415499 games/barrage/pkg-descr
• 415499 games/bass/pkg-descr
• 415499 games/bastet/pkg-descr
• 415499 games/block/pkg-descr

- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket

[ 04:04 clsung  ]

• 1.448 math/Makefile
• 1.1 math/cvc3/Makefile
• 1.1 math/cvc3/distinfo
• 1.1 math/cvc3/pkg-descr
• 1.1 math/cvc3/pkg-plist

Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>