Update Gstreamer framework to 1.4.5.


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@375225 35697150-7ecd-e111-bb59-0022644237b5
Fix path in makefile.in rather than moving in post-install target
Avoid installing unneeded files in STAGEDIR

Suggested by:   ohauer


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@375226 35697150-7ecd-e111-bb59-0022644237b5
Update to Coq 8.4pl5


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@375227 35697150-7ecd-e111-bb59-0022644237b5
[NEW] devel/py-future: Clean single-source support for Python 3 and 2

future is the missing compatibility layer between Python 2 and Python 3.

It allows you to use a single, clean Python 3.x-compatible codebase to
support both Python 2 and Python 3 with minimal overhead.

WWW: https://python-future.org/

PR:		193094
Submitted by:	Muhammad Moinur Rahman <5u623l20 at gmail com> (with changes)


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@375228 35697150-7ecd-e111-bb59-0022644237b5
- Update to slrn 1.0.2
- Update MASTER_SITES


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@375229 35697150-7ecd-e111-bb59-0022644237b5