13:01 rene 

Remove expired ports:

2020-09-15 audio/abraca: Uses deprecated version of python
2020-09-15 audio/ardour5: Uses deprecated version of python
2020-09-15 audio/cplay: Uses deprecated version of python
2020-09-15 audio/cpp-xmms2: Uses deprecated version of python
2020-09-15 audio/p5-xmms2: Uses deprecated version of python
2020-09-15 biology/haplohseq: Uses deprecated version of python
2020-09-15 biology/tophat: Uses deprecated version of python
2020-09-15 chinese/ibus-array: Uses deprecated version of python
2020-09-15 comms/congruity: Uses deprecated version of python
2020-09-15 comms/libbtbb: Uses deprecated version of python
2020-09-15 comms/quisk: Uses deprecated version of python
2020-09-15 databases/mtools-mongodb: Uses deprecated version of python
2020-09-15 databases/mydbf2mysql: Uses deprecated version of python
2020-09-15 databases/ntdb: Uses deprecated version of python
2020-09-15 databases/pgloader: Uses deprecated version of python
2020-09-15 databases/pgtune: Uses deprecated version of python
2020-09-15 databases/postgresql-libpqxx3: Uses deprecated version of python
2020-09-15 databases/postgresql-libpqxx4: Uses deprecated version of python
2020-09-15 databases/py-sqlite3dbm: Uses deprecated version of python
2020-09-15 databases/pydbx: Uses deprecated version of python
2020-09-15 databases/pyspatialite: Uses deprecated version of python
2020-09-15 deskutils/ljcharm: Uses deprecated version of python
2020-09-15 deskutils/mat: Uses deprecated version of python
2020-09-15 devel/aap: Uses deprecated version of python
2020-09-15 devel/apr2: Uses deprecated version of python
2020-09-15 devel/bbfreeze-loader: Uses deprecated version of python
2020-09-15 devel/bicyclerepair: Uses deprecated version of python
2020-09-15 devel/bzrtools: Uses deprecated version of python
2020-09-15 devel/codeville: Uses deprecated version of python
2020-09-15 devel/cvs2svn: Uses deprecated version of python
2020-09-15 devel/cx_Freeze: Uses deprecated version of python
2020-09-15 devel/euca2ools: Uses deprecated version of python
2020-09-15 devel/evolution-gconf-tools: Uses deprecated version of python
2020-09-15 devel/git-bzr-ng: Uses deprecated version of python
2020-09-15 devel/git-cvs: Uses deprecated version of python
2020-09-15 devel/git-remote-hg: Uses deprecated version of python
2020-09-15 devel/grumpy: Uses deprecated version of python
2020-09-15 devel/hg-git: Uses deprecated version of python
2020-09-15 devel/libnxt: Uses deprecated version of python
2020-09-15 devel/libredblack: Uses deprecated version of python
2020-09-15 devel/llvm-cheri: Uses deprecated version of python
2020-09-15 devel/phpsh: Uses deprecated version of python
2020-09-15 devel/py-backports.shutil_which: Uses deprecated version of python
2020-09-15 devel/py-notify: Uses deprecated version of python
2020-09-15 devel/py-pybloomfiltermmap: Uses deprecated version of python
2020-09-15 devel/py-qserve: Uses deprecated version of python
2020-09-15 devel/py-subvertpy: Uses deprecated version of python
2020-09-15 devel/py_static_check: Uses deprecated version of python
2020-09-15 devel/pyst: Uses deprecated version of python
2020-09-15 devel/runsnakerun: Uses deprecated version of python
2020-09-15 devel/tailor: Uses deprecated version of python
2020-09-15 devel/uatraits: Uses deprecated version of python
2020-09-15 dns/nsec3walker: Uses deprecated version of python
2020-09-15 dns/sshfp: Uses deprecated version of python
2020-09-15 editors/medit: Uses deprecated version of python
2020-09-15 emulators/dynagen: Uses deprecated version of python
2020-09-15 emulators/wxmupen64plus: Uses deprecated version of python
2020-09-15 games/diameter: Uses deprecated version of python
2020-09-15 games/kiki: Uses deprecated version of python
2020-09-15 games/lightyears: Uses deprecated version of python
2020-09-15 games/outerspace: Uses deprecated version of python
2020-09-15 games/pachi-game-engine: Uses deprecated version of python
2020-09-15 graphics/caffe: Uses deprecated version of python
2020-09-15 graphics/cloudcompare: Uses deprecated version of python
2020-09-15 graphics/kudu: Uses deprecated version of python
2020-09-15 graphics/pecomato: Uses deprecated version of python
2020-09-15 graphics/py-editobj: Uses deprecated version of python
2020-09-15 graphics/py-mayavi: Uses deprecated version of python
2020-09-15 graphics/pymorph: Uses deprecated version of python
2020-09-15 graphics/tilecache: Uses deprecated version of python
2020-09-15 graphics/uniconvertor: Uses deprecated version of python
2020-09-15 japanese/mailman: Uses deprecated version of python
2020-09-15 java/eclipse-pydev: Uses deprecated version of python
2020-09-15 lang/cdent: Uses deprecated version of python
2020-09-15 lang/julia06: Uses deprecated version of python
2020-09-15 lang/julia07: Uses deprecated version of python
2020-09-15 lang/julia11: Uses deprecated version of python
2020-09-15 lang/tinypy: Uses deprecated version of python
2020-09-15 mail/cleanup-maildir: Uses deprecated version of python
2020-09-15 mail/courier-pythonfilter: Uses deprecated version of python
2020-09-15 mail/getmail: Uses deprecated version of python
2020-09-15 mail/muttils: Uses deprecated version of python
2020-09-15 mail/nohtml: Uses deprecated version of python
2020-09-15 mail/offlineimap: Uses deprecated version of python
2020-09-15 mail/openemm2015: Uses deprecated version of python
2020-09-15 math/blitz++: Uses deprecated version of python
2020-09-15 math/openfst: Uses deprecated version of python
2020-09-15 math/py-fpconst: Uses deprecated version of python
2020-09-15 misc/hb: Uses deprecated version of python
2020-09-15 misc/mtail: Uses deprecated version of python
2020-09-15 misc/wotsap: Uses deprecated version of python
2020-09-15 multimedia/freevo: Uses deprecated version of python
2020-09-15 multimedia/quodlibet: Uses deprecated version of python
2020-09-15 multimedia/tovid: Uses deprecated version of python
2020-09-15 net/ceph13: Uses deprecated version of python
2020-09-15 net/cloud-init-azure: Uses deprecated version of python
2020-09-15 net/exabgp: Uses deprecated version of python
2020-09-15 net/exaddos: Uses deprecated version of python
2020-09-15 net/fb: Uses deprecated version of python
2020-09-15 net/flent: Uses deprecated version of python
2020-09-15 net/flowgrep: Uses deprecated version of python
2020-09-15 net/googlecl: Uses deprecated version of python
2020-09-15 net/mininet: Uses deprecated version of python
2020-09-15 net/nfs-ganesha: Uses deprecated version of python
2020-09-15 net/opensips: Uses deprecated version of python
2020-09-15 net/py-python-ntlm: Uses deprecated version of python
2020-09-15 net/splatd: Uses deprecated version of python
2020-09-15 net-im/centerim-devel: Uses deprecated version of python
2020-09-15 net-im/fugu: Uses deprecated version of python
2020-09-15 net-im/proxy65: Uses deprecated version of python
2020-09-15 net-mgmt/crmsh: Uses deprecated version of python
2020-09-15 net-mgmt/librenms-agent: Uses deprecated version of python
2020-09-15 net-p2p/couchpotato: Uses deprecated version of python
2020-09-15 news/rawdog: Uses deprecated version of python
2020-09-15 ports-mgmt/portell: Uses deprecated version of python
2020-09-15 print/biblio-py: Uses deprecated version of python
2020-09-15 science/brian: Uses deprecated version of python
2020-09-15 science/paraview: Uses deprecated version of python
2020-09-15 security/arm: Uses deprecated version of python
2020-09-15 security/ismtp: Uses deprecated version of python
2020-09-15 security/py-halberd: Uses deprecated version of python
2020-09-15 security/switzerland: Uses deprecated version of python
2020-09-15 security/tsshbatch: Uses deprecated version of python
2020-09-15 shells/lshell: Uses deprecated version of python
2020-09-15 sysutils/abck: Uses deprecated version of python
2020-09-15 sysutils/condor: Uses deprecated version of python
2020-09-15 sysutils/farbot: Uses deprecated version of python
2020-09-15 sysutils/fusefs-wikipediafs: Uses deprecated version of python
2020-09-15 sysutils/heartbeat: Uses deprecated version of python
2020-09-15 sysutils/isomd5sum: Uses deprecated version of python
2020-09-15 sysutils/py-stdiff: Uses deprecated version of python
2020-09-15 sysutils/tren: Uses deprecated version of python
2020-09-15 textproc/doclifter: Uses deprecated version of python
2020-09-15 textproc/ibus-el: Uses deprecated version of python
2020-09-15 textproc/p5-WWW-Google-SiteMap: Deprecated upstream, see
textproc/p5-Search-Sitemap
2020-09-15 textproc/plover: Uses deprecated version of python
2020-09-15 textproc/py-esmre: Uses deprecated version of python
2020-09-15 textproc/py-libxslt: Uses deprecated version of python
2020-09-15 textproc/py-pdfminer: Uses deprecated version of python
2020-09-15 textproc/translate-toolkit: Uses deprecated version of python
2020-09-15 www/bluefish: Uses deprecated version of python
2020-09-15 www/calendarserver: Uses deprecated version of python
2020-09-15 www/geeknote: Uses deprecated version of python
2020-09-15 www/go-appengine-sdk: Uses deprecated version of python
2020-09-15 www/google-appengine: Uses deprecated version of python
2020-09-15 www/libhpack: Uses deprecated version of python
2020-09-15 www/mkapachepw: Uses deprecated version of python
2020-09-15 www/mod_pagespeed: Uses deprecated version of python
2020-09-15 www/mod_python35: Uses deprecated version of python
2020-09-15 www/py-qp: Uses deprecated version of python
2020-09-15 www/py-url: Uses deprecated version of python
2020-09-15 www/pyblosxom: Uses deprecated version of python
2020-09-15 www/pyjamas: Uses deprecated version of python
2020-09-15 www/roundup: Uses deprecated version of python
2020-09-15 www/varnish-libvmod-awsrest: Uses deprecated version of python
2020-09-15 www/waccess: Uses deprecated version of python
2020-09-15 www/wadcomblog: Uses deprecated version of python
2020-09-15 www/webcheck: Uses deprecated version of python
2020-09-15 www/woof: Uses deprecated version of python
2020-09-15 x11-drivers/xf86-video-qxl: uses deprecated version of python
2020-09-15 x11-fm/twander: Uses deprecated version of python
2020-09-15 x11-wm/compizconfig-python: Uses deprecated version of python
2020-09-15 x11-wm/fvwm-crystal: Uses deprecated version of python

 

01:18 yuri 

New port: math/faiss: Library for efficient similarity search & clustering of
dense vectors

 

16:10 yuri 

New port: math/universal: Header-only C++ template library for universal number
arithmetic

 

11:25 rene 

Remove expired ports:

2020-08-26 audio/timidity++-tcltk: Broken for more than 6 months
2020-08-26 biology/pbcopper: Broken for more than 6 months
2020-08-26 devel/ace: Broken for more than 6 months
2020-08-26 devel/bin86: Broken for more than 6 months
2020-08-26 devel/erlang-oserl: Broken for more than 6 months
2020-08-20 emulators/qemu40: Please consider using qemu or qemu41
2020-08-26 games/linux-darwinia-demo: Broken for more than 6 months
2020-08-26 games/linux-defcon: Broken for more than 6 months
2020-08-26 games/linux-uplink-demo: Broken for more than 6 months
2020-08-26 games/xevil: Broken for more than 6 months
2020-08-26 games/xminesweep: Broken for more than 6 months
2020-08-26 graphics/backfract: Broken for more than 6 months
2020-08-26 japanese/kanjipad: Broken for more than 6 months
2020-08-26 japanese/xdtp: Broken for more than 6 months
2020-08-26 korean/hpscat: Broken for more than 6 months
2020-08-26 math/barvinok: Broken for more than 6 months
2020-08-26 math/openmesh: Broken for more than 6 months
2020-08-26 math/rehearse: Broken for more than 6 months
2020-08-26 net/hinfo: Broken for more than 6 months
2020-08-26 science/fleur: Broken for more than 6 months
2020-08-26 science/lm: Broken for more than 6 months
2020-08-26 security/ddos_scan: Broken for more than 6 months
2020-08-26 security/gag: Broken for more than 6 months
2020-08-26 security/py-keystone: Broken for more than 6 months
2020-08-26 sysutils/mono-kmod: mastersite disappeared, unfetchable
2020-08-26 x11-themes/gtk-cleanice-engine: Broken for more than 6 months
2020-08-26 x11-wm/aewm: Broken for more than 6 months

 

21:20 sunpoet 

Add rubygem-bigdecimal 2.0.0

BigDecimal provides an arbitrary-precision decimal floating-point number class.

WWW: https://github.com/ruby/bigdecimal

 

12:29 rene 

Remove expired ports:

2020-08-15 audio/py-cddb: Uses deprecated version of python
2020-08-15 databases/py-sybase: Uses deprecated version of python
2020-08-15 devel/py-pp: Uses deprecated version of python
2020-08-15 security/py-keyczar: Uses deprecated version of python
2020-08-15 math/py-pysparse: Uses deprecated version of python
2020-08-15 net/py-beanstalkc: Uses deprecated version of python
2020-08-15 x11-toolkits/py-wxPython30: Uses deprecated version of python
2020-08-15 net-im/py-skype4py: Uses deprecated version of python
2020-08-15 net-im/telepathy-haze: Uses deprecated version of python

 

10:50 rene 

Remove deprecated ports:

2020-08-15 archivers/py-backports.lzma: Uses deprecated version of python
2020-08-15 archivers/py-bup: Uses deprecated version of python
2020-08-15 archivers/py-librtfcomp: Uses deprecated version of python
2020-08-15 audio/blop-lv2: Uses deprecated version of python
2020-08-15 audio/bs2b-lv2: Uses deprecated version of python
2020-08-15 audio/py-gmusicproxy: Uses deprecated version of python
2020-08-15 audio/py-karaoke: Uses deprecated version of python
2020-08-15 audio/py-openal: Uses deprecated version of python
2020-08-15 audio/py-py-jack: Uses deprecated version of python
2020-08-15 audio/py-xmms2: Uses deprecated version of python
2020-08-15 audio/triceratops-lv2: Uses deprecated version of python
2020-08-15 biology/py-biom-format: Uses deprecated version of python
2020-08-15 comms/py-bulksms: Uses deprecated version of python
2020-08-15 comms/py-gammu: Uses deprecated version of python
2020-08-15 databases/py-geoalchemy: Uses deprecated version of python
2020-08-15 databases/py-htsql-mysql: Uses deprecated version of python
2020-08-15 databases/py-htsql-pgsql: Uses deprecated version of python
2020-08-15 databases/py-mysql2pgsql: Uses deprecated version of python
2020-08-15 databases/py-oursql: Uses deprecated version of python
2020-08-15 databases/py-pyPgSQL: Uses deprecated version of python
2020-08-15 databases/py-pyhs: Uses deprecated version of python
2020-08-15 databases/py-pytc: Uses deprecated version of python
2020-08-15 databases/py-riak: Uses deprecated version of python
2020-08-15 databases/py-umemcache: Uses deprecated version of python
2020-08-15 devel/py-Breve: Uses deprecated version of python
2020-08-15 devel/py-PyODE: Uses deprecated version of python
2020-08-15 devel/py-akismet: Uses deprecated version of python
2020-08-15 devel/py-aspects: Uses deprecated version of python
2020-08-15 devel/py-backports.tempfile: Uses deprecated version of python
2020-08-15 devel/py-backports.weakref: Uses deprecated version of python
2020-08-15 devel/py-cfgparse: Uses deprecated version of python
2020-08-15 devel/py-ciphon: Uses deprecated version of python
2020-08-15 devel/py-cjson: Uses deprecated version of python
2020-08-15 devel/py-clonedigger: Uses deprecated version of python
2020-08-15 devel/py-cuisine: Uses deprecated version of python
2020-08-15 devel/py-deliciousapi: Uses deprecated version of python
2020-08-15 devel/py-dialog: Uses deprecated version of python
2020-08-15 devel/py-efl: Uses deprecated version of python
2020-08-15 devel/py-ezpyinline: Uses deprecated version of python
2020-08-15 devel/py-fsm: Uses deprecated version of python
2020-08-15 devel/py-gdbgui: Uses deprecated version of python
2020-08-15 devel/py-gearman: Uses deprecated version of python
2020-08-15 devel/py-generate: Uses deprecated version of python
2020-08-15 devel/py-geotypes: Uses deprecated version of python
2020-08-15 devel/py-gitosis: Uses deprecated version of python
2020-08-15 devel/py-google-apputils: Uses deprecated version of python
2020-08-15 devel/py-hghooks: Uses deprecated version of python
2020-08-15 devel/py-instant: Uses deprecated version of python
2020-08-15 devel/py-jcc: Uses deprecated version of python
2020-08-15 devel/py-json-py: Uses deprecated version of python
2020-08-15 devel/py-json-sempai: Uses deprecated version of python
2020-08-15 devel/py-jsonlib: Uses deprecated version of python
2020-08-15 devel/py-jsonlib2: Uses deprecated version of python
2020-08-15 devel/py-jsonrpclib: Uses deprecated version of python
2020-08-15 devel/py-kayako: Uses deprecated version of python
2020-08-15 devel/py-kid: Uses deprecated version of python
2020-08-15 devel/py-kjbuckets: Uses deprecated version of python
2020-08-15 devel/py-kqueue: Uses deprecated version of python
2020-08-15 devel/py-log4py: Uses deprecated version of python
2020-08-15 devel/py-mwlib.ext: Uses deprecated version of python
2020-08-15 devel/py-mx-experimental: Uses deprecated version of python
2020-08-15 devel/py-option_merge: Uses deprecated version of python
2020-08-15 devel/py-prioritized_methods: Uses deprecated version of python
2020-08-15 devel/py-protocols: Uses deprecated version of python
2020-08-15 devel/py-ptrace: Uses deprecated version of python
2020-08-15 devel/py-pydoop: Uses deprecated version of python
2020-08-15 devel/py-pyke: Uses deprecated version of python
2020-08-15 devel/py-pymtbl: Uses deprecated version of python
2020-08-15 devel/py-pyshapelib: Uses deprecated version of python
2020-08-15 devel/py-pytemplate: Uses deprecated version of python
2020-08-15 devel/py-python2-pythondialog: Uses deprecated version of python
2020-08-15 devel/py-pyutil: Uses deprecated version of python
2020-08-15 devel/py-pyvalid: Uses deprecated version of python
2020-08-15 devel/py-pyxml2obj: Uses deprecated version of python
2020-08-15 devel/py-qpid: Uses deprecated version of python
2020-08-15 devel/py-repoze.what-pylons: Uses deprecated version of python
2020-08-15 devel/py-repoze.who-friendlyform: Uses deprecated version of python
2020-08-15 devel/py-robotframework-ride: Uses deprecated version of python
2020-08-15 devel/py-ruamel.ordereddict: Uses deprecated version of python
2020-08-15 devel/py-sanetime: Uses deprecated version of python
2020-08-15 devel/py-selectors34: Uses deprecated version of python
2020-08-15 devel/py-sqlcc: Uses deprecated version of python
2020-08-15 devel/py-statgrab: Uses deprecated version of python
2020-08-15 devel/py-tconfpy: Uses deprecated version of python
2020-08-15 devel/py-terminable_thread: Uses deprecated version of python
2020-08-15 devel/py-trace2html: Uses deprecated version of python
2020-08-15 devel/py-tvrage: Uses deprecated version of python
2020-08-15 devel/py-tw.forms: Uses deprecated version of python
2020-08-15 devel/py-uncompyle2: Uses deprecated version of python
2020-08-15 devel/py-yum-metadata-parser: Uses deprecated version of python
2020-08-15 devel/rubygem-warden127: No longer needed
2020-08-15 dns/py-dnschain: Uses deprecated version of python
2020-08-15 dns/py-idnkit2: Uses deprecated version of python
2020-08-15 games/colobot: Uses deprecated version of python
2020-08-15 games/endgame-singularity: Uses deprecated version of python
2020-08-15 games/katawa-shoujo: Uses deprecated version of RenPy
2020-08-15 games/pyfa: Uses deprecated version of python
2020-08-15 games/renpy6: Uses deprecated version of python
2020-08-15 games/solarwolf: Uses deprecated version of python
2020-08-15 games/thudboard: Uses deprecated version of python
2020-08-15 graphics/djvusmooth: Uses deprecated version of python
2020-08-15 graphics/py-glewpy: Uses deprecated version of python
2020-08-15 graphics/py-openexr: Uses deprecated version of python
2020-08-15 graphics/py-poppler: Uses deprecated version of python
2020-08-15 graphics/py-pygooglechart: Uses deprecated version of python
2020-08-15 graphics/py-sane: Uses deprecated version of python
2020-08-15 graphics/py-stltools: Uses deprecated version of python
2020-08-15 graphics/sk1: Uses deprecated version of python
2020-08-15 japanese/py-mecab: Uses deprecated version of python
2020-08-15 japanese/py-tegaki-gtk: Uses deprecated version of python
2020-08-15 lang/py-mx-base: Uses deprecated version of python
2020-08-15 mail/mailpile: Uses deprecated version of python
2020-08-15 math/py-ffc: Uses deprecated version of python
2020-08-15 math/py-fiat: Uses deprecated version of python
2020-08-15 math/py-nzmath: Uses deprecated version of python
2020-08-15 math/py-pymc: Uses deprecated version of python
2020-08-15 math/py-ufl: Uses deprecated version of python
2020-08-15 misc/py-socli: Uses deprecated version of python
2020-08-15 misc/py-yolk: Uses deprecated version of python
2020-08-15 multimedia/py-flvlib: Uses deprecated version of python
2020-08-15 net/py-gspreadsheet: Uses deprecated version of python
2020-08-15 net/py-libnet: Uses deprecated version of python
2020-08-15 net/py-netlib: Uses deprecated version of python
2020-08-15 net/py-pynmsg: Uses deprecated version of python
2020-08-15 net/py-rainbowstream: Uses deprecated version of python
2020-08-15 net/py-wolframalpha: Uses deprecated version of python
2020-08-15 net-im/empathy: Uses deprecated version of python
2020-08-15 net-im/farsight2: Uses deprecated version of python
2020-08-15 net-im/py-xmpppy: Uses deprecated version of python
2020-08-15 net-im/telepathy-farsight: Uses deprecated version of python
2020-08-15 net-im/telepathy-python: Uses deprecated version of python
2020-08-15 net-im/telepathy-rakia: Uses deprecated version of python
2020-08-15 net-mgmt/py-pynsca: Uses deprecated version of python
2020-08-15 net-mgmt/py-yapsnmp: Uses deprecated version of python
2020-08-15 net-p2p/py-py2play: Uses deprecated version of python
2020-08-15 news/py-yenc: Uses deprecated version of python
2020-08-15 print/py-pyscript: Uses deprecated version of python
2020-08-15 print/py-stapler: Uses deprecated version of python
2020-08-15 print/py-trml2pdf: Uses deprecated version of python
2020-08-15 science/py-PyQuante: Uses deprecated version of python
2020-08-15 science/py-mlpy: Uses deprecated version of python
2020-08-15 science/py-ws2300: Uses deprecated version of python
2020-08-15 security/py-PF: Uses deprecated version of python
2020-08-15 security/py-cracklib: Uses deprecated version of python
2020-08-15 security/py-fteproxy: Uses deprecated version of python
2020-08-15 security/py-onetime: Uses deprecated version of python
2020-08-15 security/py-pydeep: Uses deprecated version of python
2020-08-15 security/py-slowaes: Uses deprecated version of python
2020-08-15 security/py-sslstrip: Uses deprecated version of python
2020-08-15 security/py-volatility: Uses deprecated version of python
2020-08-15 sysutils/py-analyzemft: Uses deprecated version of python
2020-08-15 sysutils/py-cdmi: Uses deprecated version of python
2020-08-15 sysutils/py-ezjailremote: Uses deprecated version of python
2020-08-15 sysutils/py-gmailfs-fuse: Uses deprecated version of python
2020-08-15 sysutils/py-ploy_ec2: Uses deprecated version of python
2020-08-15 sysutils/py-ploy_fabric: Uses deprecated version of python
2020-08-15 sysutils/py-scriptine: Uses deprecated version of python
2020-08-15 sysutils/py-superlance: Uses deprecated version of python
2020-08-15 textproc/py-bugzillatools: Uses deprecated version of python
2020-08-15 textproc/py-elib.intl: Uses deprecated version of python
2020-08-15 textproc/py-errorhandler: Uses deprecated version of python
2020-08-15 textproc/py-hyperestraier-python: Uses deprecated version of python
2020-08-15 textproc/py-pyes: Uses deprecated version of python
2020-08-15 textproc/py-pyhwp: Uses deprecated version of python
2020-08-15 textproc/py-sphinx_numfig: Uses deprecated version of python
2020-08-15 www/py-HTMLgen: Uses deprecated version of python
2020-08-15 www/py-albatross: Uses deprecated version of python
2020-08-15 www/py-amf: Uses deprecated version of python
2020-08-15 www/py-apachelog: Uses deprecated version of python
2020-08-15 www/py-aws-requests-auth: Uses deprecated version of python
2020-08-15 www/py-clientform: Uses deprecated version of python
2020-08-15 www/py-django-appmedia: Uses deprecated version of python
2020-08-15 www/py-django-evolution: Uses deprecated version of python
2020-08-15 www/py-fedex: Uses deprecated version of python
2020-08-15 www/py-formalchemy: Uses deprecated version of python
2020-08-15 www/py-frappe-bench: Uses deprecated version of python
2020-08-15 www/py-funkload: Uses deprecated version of python
2020-08-15 www/py-goobook: Uses deprecated version of python
2020-08-15 www/py-poster: Uses deprecated version of python
2020-08-15 www/py-pyquery: Uses deprecated version of python
2020-08-15 www/py-pysearch: Uses deprecated version of python
2020-08-15 www/py-pywebdav: Uses deprecated version of python
2020-08-15 www/py-slimmer: Uses deprecated version of python
2020-08-15 www/py-surl: Uses deprecated version of python
2020-08-15 www/py-tmdb3: Uses deprecated version of python
2020-08-15 www/py-trello: Uses deprecated version of python
2020-08-15 www/py-uliweb: Uses deprecated version of python
2020-08-15 www/py-wsgiauth: Uses deprecated version of python
2020-08-15 x11-toolkits/py-wax: Uses deprecated version of python
2020-08-15 x11-toolkits/py-wxPython-common: Uses deprecated version of python
2020-08-15 x11-toolkits/py-wxPython28-common: Uses deprecated version of python

 

16:44 yuri 

New port: math/py-mip: Python MIP (Mixed-Integer Linear Programming) Tools

 

16:19 yuri 

New port: math/minizinc-ide: IDE for MiniZinc, a constraint modeling language

 

05:27 yuri 

New port: math/minizinc: Constraint modeling language

 

02:30 yuri 

New port: math/py-seriate: Optimal ordering of elements in a set given their
distance matrix

 

21:11 yuri 

New port: math/py-or-tools: Google's Operations Research tools (Python binding)

 

19:55 lbartoletti 

[NEW PORT] math/py-pdal: PDAL Python bindings

Description:
PDAL Python support allows you to process data with PDAL into Numpy arrays. It
supports embedding Python in PDAL pipelines with the readers.numpy and
filters.python stages, and it provides a PDAL extension module to control Python
interaction with PDAL.
Additionally, you can use it to fetch schema and metadata from PDAL operations.

Context:
Python plugin is removed from math/pdal and is available at
https://pypi.org/project/PDAL/

Approved by:	tcberner (mentor)

 

18:19 yuri 

New port: math/py-numpoly: Create/manipulate/evaluate polynomial arrays based on
numpy.ndarray

 

01:23 yuri 

New port: math/or-tools: Google's Operations Research tools

 

14:19 lwhsu 

Readd math/p5-Math-GSL and update to 0.42

PR:		247302
Submitted by:	Tomohiro Hosaka <bokutin@bokut.in>

 

09:31 tobik 

Sort

Reported by:	portscan

 

11:40 tota 

- Add new port: math/R-cran-conquer

  Fast and accurate convolution-type smoothed quantile regression.
  Implemented using Barzilai-Borwein gradient descent with a Huber
  regression warm start. Construct confidence intervals for regression
  coefficients using multiplier bootstrap.

  WWW: https://cran.r-project.org/web/packages/conquer/

 

10:27 tota 

- Add new port: math/R-cran-matrixStats

  High-performing functions operating on rows and columns of matrices,
  e.g. col / rowMedians(), col / rowRanks(), and col / rowSds().
  Functions optimized per data type and for subsetted calculations
  such that both memory usage and processing time is minimized. There
  are also optimized vector-based methods, e.g. binMeans(), madDiff()
  and weightedMedian().

  WWW: https://cran.r-project.org/web/packages/matrixStats/

 

18:08 sunpoet 

Add py-flax 0.1.0

Flax is a high-performance neural network library for JAX that is designed for
flexibility: Try new forms of training by forking an example and by modifying
the training loop, not by adding features to a framework.

WWW: https://github.com/google/flax

 

18:08 sunpoet 

Add py-jax 0.1.72

JAX is Autograd and XLA, brought together for high-performance machine learning
research.

With its updated version of Autograd, JAX can automatically differentiate native
Python and NumPy functions. It can differentiate through loops, branches,
recursion, and closures, and it can take derivatives of derivatives of
derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation)
via grad as well as forward-mode differentiation, and the two can be composed
arbitrarily to any order.

What's new is that JAX uses XLA to compile and run your NumPy programs on GPUs
and TPUs. Compilation happens under the hood by default, with library calls
getting just-in-time compiled and executed. But JAX also lets you just-in-time
compile your own Python functions into XLA-optimized kernels using a
one-function API, jit. Compilation and automatic differentiation can be composed
arbitrarily, so you can express sophisticated algorithms and get maximal
performance without leaving Python. You can even program multiple GPUs or TPU
cores at once using pmap, and differentiate through the whole thing.

Dig a little deeper, and you'll see that JAX is really an extensible system for
composable function transformations. Both grad and jit are instances of such
transformations. Others are vmap for automatic vectorization and pmap for
single-program multiple-data (SPMD) parallel programming of multiple
accelerators, with more to come.

WWW: https://github.com/google/jax

 

18:08 sunpoet 

Add py-opt-einsum 3.2.1

Optimized einsum can significantly reduce the overall execution time of
einsum-like expressions (e.g., np.einsum, dask.array.einsum, pytorch.einsum,
tensorflow.einsum, ) by optimizing the expression's contraction order and
dispatching many operations to canonical BLAS, cuBLAS, or other specialized
routines. Optimized einsum is agnostic to the backend and can handle NumPy,
Dask, PyTorch, Tensorflow, CuPy, Sparse, Theano, JAX, and Autograd arrays as
well as potentially any library which conforms to a standard API.

WWW: https://github.com/dgasmith/opt_einsum

 

09:41 sunpoet 

Move math/py-igraph to math/py-python-igraph

PR:		246548
Submitted by:	sunpoet (myself)
Approved by:	lwhsu (maintainer)

 

20:14 thierry 

Adding E-ANTIC, a C/C++ library to deal with real embedded number fields
built on top of ANTIC (ports/math/antic). Its aim is to have as fast as
possible exact arithmetic operations and comparisons.

 

12:19 danfe 

- Resurrect, unbreak, and update to version 2020.02 (Catalpa)
- The build is purely CMake-based now and doesn't use any shell
  or Python helper scripts
- Keep PLIST_SUB+=COIN="" to reduce the churn on the pkg-plist,
  will be cleaned up separately (COIN support is now mandatory)
- Chase 301 Moved Permanently redirect in the WWW line of the
  port description while here

 

04:39 yuri 

New port: math/cglm: Highly optimized graphics math (glm) for C

 

18:50 yuri 

New port: math/mpsolve: Multiprecision rootfinder for complex roots of
univariate polynomials

 

01:40 yuri 

New port: math/symengine: Fast symbolic manipulation library, written in C++

 

10:28 rene 

Remove expired ports:

2020-06-05 audio/workman: Depends on expired x11-toolkits/xview
2020-05-05 x11-toolkits/xview: 64-bit unsupported
2020-06-05 math/p5-Algorithm-KMeans: Depends on expired math/p5-Math-GSL
2020-05-05 math/p5-Math-GSL: Broken for more than 6 months
2020-06-05 net/openbsc: Depends on expired devel/libosmo-netif
2020-05-05 devel/libosmo-netif: Broken for more than 6 months
2020-06-05 audio/xvmixer: Depends on expired x11-toolkits/xview
2020-06-05 devel/libosmo-sccp: Depends on expired devel/libosmo-netif
2020-06-05 audio/p5-Audio: Depends on expired math/p5-Math-GSL

 

14:55 thierry 

Adding sypow, a mathematical program to compute special values of symmetric
power elliptic curve L-functions; it can compute up to about 64 digits of
precision.

It was bundled with SageMath, and now will be used as a dependency.

 

14:52 thierry 

Adding PALP: a Package for Analyzing Lattice Polytopes.

It was bundled with SageMath, and now will be used as a dependency.

 

21:04 arrowd 

Remove last remaining ports of Haskell libraries.

 

20:55 yuri 

Move math/py-onnx -> misc/py-onnx because it isn't a math package, rather a
machine learning package

 

16:31 thierry 

Add a compilation of several programs for working with Rubik's cubes, used
by SageMath.

 

20:59 antoine 

Remove duplicate port

 

19:04 mfechner 

New ports required for www/gitlab-ce 12.10 upgrade.

 

20:31 thierry 

Adding pplpy, a Python module providing a wrapper to the C++ Parma Polyhedra
Library (PPL).

To be used by SageMath.

 

20:28 thierry 

Gmpy2 is lagging for some time, and meanwhile, pplpy and SageMath require
functonnalities only available from the pre-release versions.

 

10:50 sunpoet 

Add rubygem-matrix 0.3.0

Matrix is an implementation of Matrix and Vector classes.

The Matrix class represents a mathematical matrix. It provides methods for
creating matrices, operating on them arithmetically and algebraically, and
determining their mathematical properties (trace, rank, inverse, determinant,
eigensystem, etc.).

The Vector class represents a mathematical vector, which is useful in its own
right, and also constitutes a row or column of a Matrix.

WWW: https://github.com/ruby/matrix

 

00:40 yuri 

New port: math/py-hdmedians: High-dimensional medians

 

21:05 thierry 

Adding cypari2, a Python interface to the number theory library PARI/GP.

To be used by SageMath.

 

20:10 thierry 

Adding fpylll, a Python interface for fplll.

To be used by SageMath.

 

20:46 sunpoet 

Add py-snuggs 1.4.7

Snuggs are s-expressions for Numpy.

WWW: https://github.com/mapbox/snuggs

 

20:46 sunpoet 

Add py-affine 2.3.0

Affine package is derived from Casey Duncan's Planar package.

WWW: https://github.com/sgillies/affine

 

00:13 yuri 

math/darknet: Update 3.20200315 -> 3.20200507; Move to misc/darknet

 

15:38 rene 

Remove expired ports:

Adjusted for ports rescued since r534032

2020-05-05 audio/festvox-czech: Broken for more than 6 months
2020-05-05 audio/gkrellmvolume2: Broken for more than 6 months
2020-05-05 audio/mixmos: Broken for more than 6 months
2020-05-05 audio/mma: Broken for more than 6 months
2020-05-05 audio/pd-cyclone: Broken for more than 6 months
2020-05-05 audio/shorten: Broken for more than 6 months
2020-05-05 audio/taglib-sharp: Broken for more than 6 months
2020-05-05 audio/xhippo: Broken for more than 6 months
2020-05-05 biology/consed: Broken for more than 6 months
2020-05-05 biology/plinkseq: Broken for more than 6 months
2020-05-05 biology/seqtools: Broken for more than 6 months
2020-05-05 biology/t_coffee: Broken for more than 6 months
2020-05-05 biology/ugene: Broken for more than 6 months
2020-05-05 comms/ath3k-firmware: Broken for more than 6 months
2020-05-05 comms/geoid: Broken for more than 6 months
2020-05-05 comms/jerm: Broken for more than 6 months
2020-05-05 comms/yaac: Broken for more than 6 months
2020-05-05 converters/dumpasn1: Broken for more than 6 months
2020-05-05 databases/elixir-exredis: Broken for more than 6 months
2020-05-05 databases/hamsterdb: Broken for more than 6 months
2020-05-05 databases/memcacheq: Broken for more than 6 months
2020-05-05 databases/mysql++1: Broken for more than 6 months
2020-05-05 databases/mysql++3: Broken for more than 6 months
2020-05-05 databases/mysql2odbc: Broken for more than 6 months
2020-05-05 databases/mysqlidxchk: Broken for more than 6 months
2020-05-05 databases/p5-DBIx-Ease: Broken for more than 6 months
2020-05-05 databases/p5-DMOZ-ParseRDF: Broken for more than 6 months
2020-05-05 databases/pear-DoctrineORM: Broken for more than 6 months
2020-05-05 databases/pear-MDB2_Driver_mysql: Broken for more than 6 months
2020-05-05 databases/pear-Structures_DataGrid_DataSource_DBQuery: Broken for
more than 6 months
2020-05-05 databases/pear-Structures_DataGrid_DataSource_DBTable: Broken for
more than 6 months
2020-05-05 databases/pear-Structures_DataGrid_DataSource_DataObject: Broken for
more than 6 months
2020-05-05 databases/pear-Structures_DataGrid_DataSource_MDB2: Broken for more
than 6 months
2020-05-05 databases/pgagent: Broken for more than 6 months
2020-05-05 databases/useracc: Broken for more than 6 months
2020-05-05 deskutils/devd-notifier: Broken for more than 6 months
2020-05-05 deskutils/sugarcrm: Broken for more than 6 months
2020-05-05 deskutils/tine20: Broken for more than 6 months
2020-05-05 deskutils/tomboy-plugin-latex: Broken for more than 6 months
2020-05-05 deskutils/tomboy-plugin-todo: Broken for more than 6 months
2020-05-05 deskutils/wyrd: Broken for more than 6 months
2020-05-05 deskutils/xrolo: 64-bit unsupported
2020-05-05 devel/autodist: Broken for more than 6 months
2020-05-05 devel/bouml-doc: Broken for more than 6 months
2020-05-05 devel/cobf: Broken for more than 6 months
2020-05-05 devel/djgpp-crx: Broken for more than 6 months
2020-05-05 devel/elfrc: Broken for more than 6 months
2020-05-05 devel/frink: Broken for more than 6 months
2020-05-05 devel/gogland-eap: Broken for more than 6 months
2020-05-05 devel/hive: Broken for more than 6 months
2020-04-01 devel/hs-bytestring-nums: No releases since 2012
2020-05-05 devel/iz: Broken for more than 6 months
2020-05-05 devel/jfrog-cli: Broken for more than 6 months
2020-05-05 devel/libcfg: Broken for more than 6 months
2020-05-05 devel/libdispatch: Broken for more than 6 months
2020-05-05 devel/libjson++: Broken for more than 6 months
2020-05-05 devel/libmonetra: Broken for more than 6 months
2020-05-05 devel/libol: Broken for more than 6 months
2020-05-05 devel/libserver: Broken for more than 6 months
2020-05-05 devel/lua-MessagePack: Broken for more than 6 months
2020-05-05 devel/mercurialeclipse: Broken for more than 6 months
2020-05-05 devel/mime: Broken for more than 6 months
2020-05-05 devel/motor: Broken for more than 6 months
2020-05-05 devel/mq4cpp: Broken for more than 6 months
2020-05-05 devel/myrepos: Broken for more than 6 months
2020-05-05 devel/notify-sharp: Broken for more than 6 months
2020-05-05 devel/oozie: Broken for more than 6 months
2020-05-05 devel/p5-Cdk: Broken for more than 6 months
2020-05-05 devel/p5-Data-Average: Broken for more than 6 months
2020-05-05 devel/p5-Range-String: Broken for more than 6 months
2020-05-05 devel/p5-Shape: Broken for more than 6 months
2020-05-05 devel/pear-PHP_CodeBrowser: Broken for more than 6 months
2020-05-05 devel/pear-PHP_Depend: Broken for more than 6 months
2020-05-05 devel/pear-PHP_PMD: Broken for more than 6 months
2020-05-05 devel/pear-TheSeer_phpDox: Broken for more than 6 months
2020-05-05 devel/picp: Broken for more than 6 months
2020-05-05 devel/pig: Broken for more than 6 months
2020-05-05 devel/pty: Broken for more than 6 months
2020-05-05 devel/py-libiocage: Broken for more than 6 months
2020-05-05 devel/py-lock_file: Broken for more than 6 months
2020-05-05 devel/py-pyev: Broken for more than 6 months
2020-05-05 devel/rpm-spec-mode.el: Broken for more than 6 months
2020-05-05 devel/simple_components: Broken for more than 6 months
2020-05-05 devel/tcloo: Tcl/Tk 8.5 is nearing EOL, please consider porting to
Tcl/Tk 8.6
2020-05-05 devel/tkmerge: Broken for more than 6 months
2020-05-05 devel/toh: Broken for more than 6 months
2020-05-05 devel/visualparadigm: Broken for more than 6 months
2020-05-05 dns/autotrust: Broken for more than 6 months
2020-05-05 dns/gdnsd: Broken for more than 6 months
2020-05-05 dns/p5-Stanford-DNSserver: Broken for more than 6 months
2020-05-05 dns/zonecheck: Broken for more than 6 months
2020-05-05 editors/omegaT: Broken for more than 6 months
2020-05-05 finance/cbb: Broken for more than 6 months
2020-05-05 ftp/llnlxdir: Broken for more than 6 months
2020-05-05 ftp/llnlxftp: Broken for more than 6 months
2020-05-05 games/adom: Broken for more than 6 months
2020-05-05 games/bsdrain: Broken for more than 6 months
2020-05-05 games/bunnysay: Broken for more than 6 months
2020-05-05 games/castlevox: Broken for more than 6 months
2020-05-05 games/gnarr: Broken for more than 6 months
2020-05-05 games/hohlin: Broken for more than 6 months
2020-05-05 games/hoichess: Broken for more than 6 months
2020-05-05 games/kajaani-kombat: Broken for more than 6 months
2020-05-05 games/linux-enemyterritory-jaymod-21: Broken for more than 6 months
2020-05-05 games/linux-enemyterritory-omni-bot: Broken for more than 6 months
2020-05-05 games/linux-enemyterritory-omni-bot-0660: Broken for more than 6
months
2020-05-05 games/nadar: Broken for more than 6 months
2020-05-05 games/nxengine: Broken for more than 6 months
2020-05-05 games/oneko: Broken for more than 6 months
2020-05-05 games/seahaven: Broken for more than 6 months
2020-05-05 games/sudoku_solver: Broken for more than 6 months
2020-05-05 games/tetrons: Broken for more than 6 months
2020-05-05 games/xpenguins: Broken for more than 6 months
2020-05-05 games/xvmahjongg: 64-bit unsupported
2020-05-05 games/xvmines: 64-bit unsupported
2020-05-05 graphics/EZWGL: Broken for more than 6 months
2020-05-05 graphics/kix-kmod: Broken for more than 6 months
2020-05-05 graphics/mhgui: Broken for more than 6 months
2020-05-05 graphics/mmrecover: Broken for more than 6 months
2020-05-05 hungarian/hu-phone: Broken for more than 6 months
2020-05-05 hungarian/hu-zipcodes: Broken for more than 6 months
2020-05-05 irc/charybdis: Broken for more than 6 months
2020-05-05 irc/fisg: Broken for more than 6 months
2020-05-05 irc/ircd-ru: Broken for more than 6 months
2020-05-05 irc/ircservices: Broken for more than 6 months
2020-05-05 irc/nethirc: Broken for more than 6 months
2020-05-05 irc/ratbox-services: Broken for more than 6 months
2020-05-05 irc/roxirc: Broken for more than 6 months
2020-05-05 japanese/jstrings: Broken for more than 6 months
2020-05-05 japanese/mg: Broken for more than 6 months
2020-05-05 japanese/ming: Broken for more than 6 months
2020-05-05 japanese/t2ps: Broken for more than 6 months
2020-05-05 java/castor: Broken for more than 6 months
2020-05-05 java/eclipse-windowbuilder: Broken for more than 6 months
2020-05-05 java/jdbcpool: Broken for more than 6 months
2020-05-05 java/jomp: Broken for more than 6 months
2020-05-05 java/langspec: Broken for more than 6 months
2020-05-05 java/xdoclet: Broken for more than 6 months
2020-05-05 korean/xpdf: Broken for more than 6 months
2020-05-05 lang/afnix: Broken for more than 6 months
2020-05-05 lang/elan: Broken for more than 6 months
2020-05-05 lang/gnatcross-aarch64: Broken for more than 6 months
2020-05-05 lang/hope: Broken for more than 6 months
2020-05-05 lang/hugs: Broken for more than 6 months
2020-05-05 lang/ici: Broken for more than 6 months
2020-05-05 lang/icon: Broken for more than 6 months
2020-05-05 lang/newlisp-devel: Broken for more than 6 months
2020-05-05 lang/ohugs: Broken for more than 6 months
2020-05-05 lang/opendylan: Broken for more than 6 months
2020-05-05 lang/phc: Broken for more than 6 months
2020-05-05 lang/starlogo: Broken for more than 6 months
2020-05-05 lang/yap: Broken for more than 6 months
2020-05-05 lang/yap-devel: Broken for more than 6 months
2020-05-05 mail/chk4mail: Broken for more than 6 months
2020-05-05 mail/librfc822: Broken for more than 6 months
2020-05-05 mail/mailmgr: Broken for more than 6 months
2020-05-05 mail/mreport: Broken for more than 6 months
2020-05-05 mail/msgconvert: Broken for more than 6 months
2020-05-05 mail/nullpop: Broken for more than 6 months
2020-05-05 mail/p5-Mail-MailStats: Broken for more than 6 months
2020-05-05 mail/poppassd: Broken for more than 6 months
2020-05-05 mail/prayer: Broken for more than 6 months
2020-05-05 mail/py-cyruslib: Broken for more than 6 months
2020-05-05 mail/qmail-auditor: Broken for more than 6 months
2020-05-05 mail/qmailmrtg7: Broken for more than 6 months
2020-05-05 mail/qmqtool: Broken for more than 6 months
2020-05-05 mail/relaydb: Broken for more than 6 months
2020-05-05 mail/rftp: Broken for more than 6 months
2020-05-05 mail/smtp-gated: Broken for more than 6 months
2020-05-05 mail/spamoracle: Broken for more than 6 months
2020-05-05 math/calctool: 64-bit unsupported
2020-05-05 math/diehard: Broken for more than 6 months
2020-05-05 math/e: Broken for more than 6 months
2020-05-05 math/entropy: Broken for more than 6 months
2020-05-05 math/liblbfgs: Broken for more than 6 months
2020-05-05 math/libtsnnls: Broken for more than 6 months
2020-05-05 math/ltl: Broken for more than 6 months
2020-05-05 math/naturalmath: Broken for more than 6 months
2020-05-05 math/proofgeneral: Broken for more than 6 months
2020-05-05 math/py-basemap-data: Broken for more than 6 months
2020-05-05 math/py-igakit: Broken for more than 6 months
2020-05-05 math/py-rapi: Broken for more than 6 months
2020-05-05 math/sfst: Broken for more than 6 months
2020-05-05 math/truthtable: Broken for more than 6 months
2020-05-05 math/wingz3: Broken for more than 6 months
2020-05-05 math/x12arima: Broken for more than 6 months
2020-05-05 math/xppaut: Broken for more than 6 months
2020-05-05 misc/achievo: Broken for more than 6 months
2020-05-05 misc/auto-multiple-choice: Broken for more than 6 months
2020-05-05 misc/display: Broken for more than 6 months
2020-05-05 misc/esniper: Broken for more than 6 months
2020-05-05 misc/free42-skins: Broken for more than 6 months
2020-05-05 misc/libisocodes: Broken for more than 6 months
2020-05-05 misc/loop: Broken for more than 6 months
2020-05-05 misc/p5-Norge: Broken for more than 6 months
2020-05-05 misc/pantry: Broken for more than 6 months
2020-05-05 misc/phraze: Broken for more than 6 months
2020-05-05 misc/podsleuth: Broken for more than 6 months
2020-05-05 misc/py-osd: Broken for more than 6 months
2020-05-05 misc/rfc: Broken for more than 6 months
2020-05-05 misc/spamcalc: Broken for more than 6 months
2020-05-05 misc/us-zipcodes: Broken for more than 6 months
2020-05-05 misc/xtypo: Broken for more than 6 months
2020-05-05 misc/yaunc: Broken for more than 6 months
2020-05-05 multimedia/clipgrab: Broken for more than 6 months
2020-05-05 multimedia/libsmacker: Broken for more than 6 months
2020-05-05 multimedia/lxdvdrip: Broken for more than 6 months
2020-05-05 multimedia/mjpg-streamer: Broken for more than 6 months
2020-05-05 multimedia/vcdpad: Broken for more than 6 months
2020-05-05 net/erlang-xmlrpc: Broken for more than 6 months
2020-05-05 net/etrace: Broken for more than 6 months
2020-05-05 net/fonulator: Broken for more than 6 months
2020-05-05 net/gkrellmwireless2: Broken for more than 6 months
2020-05-05 net/howl: Broken for more than 6 months
2020-05-05 net/libp0f: Broken for more than 6 months
2020-05-05 net/libsocket++: Broken for more than 6 months
2020-05-05 net/ltm: Broken for more than 6 months
2020-05-05 net/lvwimax: Broken for more than 6 months
2020-05-05 net/mono-zeroconf: Broken for more than 6 months
2020-05-05 net/nph: Broken for more than 6 months
2020-05-05 net/p5-Net-RawSock: Broken for more than 6 months
2020-05-05 net/passlogd: Broken for more than 6 months
2020-05-05 net/phamm: Broken for more than 6 months
2020-05-05 net/pim6-tools: Broken for more than 6 months
2020-05-05 net/pim6dd: Broken for more than 6 months
2020-05-05 net/pim6sd: Broken for more than 6 months
2020-05-05 net/proxy-connect: Broken for more than 6 months
2020-05-05 net/rtpbreak: Broken for more than 6 months
2020-05-05 net/s3ql: Broken for more than 6 months
2020-05-05 net/scnc: Broken for more than 6 months
2020-05-05 net/sip_scenario: Broken for more than 6 months
2020-05-05 net/slurm: Broken for more than 6 months
2020-05-05 net/ssmping: Broken for more than 6 months
2020-05-05 net/tcpdstat: Broken for more than 6 months
2020-05-05 net/uplog: Broken for more than 6 months
2020-05-05 net/vblade: Broken for more than 6 months
2020-05-05 net/wizd: Broken for more than 6 months
2020-05-05 net/wmnetload: Broken for more than 6 months
2020-05-05 net/wmnetmon: Broken for more than 6 months
2020-05-05 net/wmpiki: Broken for more than 6 months
2020-05-05 net/xipmsg: Broken for more than 6 months
2020-05-05 net-im/chattahoochie: Broken for more than 6 months
2020-05-05 net-im/jitsi: Broken for more than 6 months
2020-05-05 net-im/mu-conference: Broken for more than 6 months
2020-05-05 net-im/p5-Jabber-Connection: Broken for more than 6 months
2020-05-05 net-im/p5-Net-ICQ2000: Broken for more than 6 months
2020-05-05 net-im/pidgin-guifications: Broken for more than 6 months
2020-05-05 net-im/pidgin-osd: Broken for more than 6 months
2020-05-05 net-im/yoono: Broken for more than 6 months
2020-05-05 net-mgmt/arpalert: Broken for more than 6 months
2020-05-05 net-mgmt/nagios-check_memcached_paranoid: Broken for more than 6
months
2020-05-05 net-mgmt/netwox: Broken for more than 6 months
2020-05-05 net-mgmt/nstreams: Broken for more than 6 months
2020-05-05 net-mgmt/p5-GRNOC-Config: Broken for more than 6 months
2020-05-05 net-mgmt/p5-GRNOC-TL1: Broken for more than 6 months
2020-05-05 net-mgmt/scli: Broken for more than 6 months
2020-05-05 net-mgmt/snmp++: Broken for more than 6 months
2020-05-05 net-mgmt/victorops-nagios: Broken for more than 6 months
2020-05-05 net-p2p/libpdtp: Broken for more than 6 months
2020-05-05 net-p2p/squall: Broken for more than 6 months
2020-05-05 news/crashmail: Broken for more than 6 months
2020-05-05 news/sn: Broken for more than 6 months
2020-05-05 news/xrn: Broken for more than 6 months
2020-05-05 ports-mgmt/managepkg: Broken for more than 6 months
2020-05-05 portuguese/irpf-pt_BR: Broken for more than 6 months
2020-05-05 print/foxitreader: Broken for more than 6 months
2020-05-05 print/pdfcube: Broken for more than 6 months
2020-05-05 print/pmw: Broken for more than 6 months
2020-05-05 print/rprint: Broken for more than 6 months
2020-05-05 russian/p5-cyrillic: Broken for more than 6 months
2020-05-05 russian/tidyup-mail: Broken for more than 6 months
2020-05-05 science/abinit: Broken for more than 6 months
2020-05-05 science/atom: Broken for more than 6 months
2020-05-05 science/cp2k: Broken for more than 6 months
2020-05-05 science/esys-particle: Broken for more than 6 months
2020-05-05 science/openmx: Broken for more than 6 months
2020-05-05 science/p5-Geo-ReadGRIB: Broken for more than 6 months
2020-05-05 science/py-tensorflow-estimator: Broken for more than 6 months
2020-05-05 security/firewalk: Broken for more than 6 months
2020-05-05 security/hmap: Broken for more than 6 months
2020-05-05 security/ipfcount: Broken for more than 6 months
2020-05-05 security/libbf: Broken for more than 6 months
2020-05-05 security/log2timeline: Broken for more than 6 months
2020-05-05 security/opencdk: Broken for more than 6 months
2020-05-05 security/pad: Broken for more than 6 months
2020-05-05 security/pam_fprint: Broken for more than 6 months
2020-05-05 security/pam_per_user: Broken for more than 6 months
2020-05-05 security/razorback-dispatcher: Broken for more than 6 months
2020-05-05 security/ruby-camellia: Broken for more than 6 months
2020-05-05 security/scanhill: Broken for more than 6 months
2020-05-05 security/sinfp: Broken for more than 6 months
2020-05-05 security/ssh_askpass_gtk2: Broken for more than 6 months
2020-05-05 security/subweb: Broken for more than 6 months
2020-05-05 security/unssh: Broken for more than 6 months
2020-05-05 security/xspy: Broken for more than 6 months
2020-05-05 shells/osh: Broken for more than 6 months
2020-05-05 shells/shell-include: Broken for more than 6 months
2020-05-05 sysutils/abgx360gui: Broken for more than 6 months
2020-05-05 sysutils/autojump: Broken for more than 6 months
2020-05-05 sysutils/backupchecker: Broken for more than 6 months
2020-05-05 sysutils/cdf: Broken for more than 6 months
2020-05-05 sysutils/cdls: Broken for more than 6 months
2020-05-05 sysutils/circonus-agent: Broken for more than 6 months
2020-05-05 sysutils/cloop-utils: Broken for more than 6 months
2020-05-05 sysutils/confman: Broken for more than 6 months
2020-05-05 sysutils/detach: Broken for more than 6 months
2020-05-05 sysutils/disktool: 64-bit unsupported
2020-05-05 sysutils/downtime: Broken for more than 6 months
2020-05-05 sysutils/fusefs-fusexmp_fh: Broken for more than 6 months
2020-05-05 sysutils/fusefs-gunzip: Broken for more than 6 months
2020-05-05 sysutils/goss: Broken for more than 6 months
2020-05-05 sysutils/gpte: Broken for more than 6 months
2020-05-05 sysutils/hidesvn: Broken for more than 6 months
2020-05-05 sysutils/hoz: Broken for more than 6 months
2020-05-05 sysutils/intel-qcu: Broken for more than 6 months
2020-05-05 sysutils/iogen: Broken for more than 6 months
2020-05-05 sysutils/jailctl: Broken for more than 6 months
2020-05-05 sysutils/jx: Broken for more than 6 months
2020-05-05 sysutils/linux-crashplan: Broken for more than 6 months
2020-05-05 sysutils/mkfile: Broken for more than 6 months
2020-05-05 sysutils/mpiexec: Broken for more than 6 months
2020-05-05 sysutils/nfsping: Broken for more than 6 months
2020-05-05 sysutils/phantom: Broken for more than 6 months
2020-05-05 sysutils/ptools: Broken for more than 6 months
2020-05-05 sysutils/realsync: Broken for more than 6 months
2020-05-05 sysutils/rmonitor: Broken for more than 6 months
2020-05-05 sysutils/roottail: Broken for more than 6 months
2020-05-05 sysutils/sb16config: Broken for more than 6 months
2020-05-05 sysutils/sbase: Broken for more than 6 months
2020-05-05 sysutils/setquota: Broken for more than 6 months
2020-05-05 sysutils/sortu: Broken for more than 6 months
2020-05-05 sysutils/stmpclean: Broken for more than 6 months
2020-05-05 sysutils/tmate-slave: Broken for more than 6 months
2020-05-05 sysutils/tss: Broken for more than 6 months
2020-05-05 sysutils/vstrip: Broken for more than 6 months
2020-05-05 sysutils/watchdog: Broken for more than 6 months
2020-05-05 sysutils/wmbsdbatt: Broken for more than 6 months
2020-05-05 sysutils/wmcpuload: Broken for more than 6 months
2020-05-05 sysutils/wmcube: Broken for more than 6 months
2020-05-05 sysutils/wtail: Broken for more than 6 months
2020-05-05 textproc/csv2latex: Broken for more than 6 months
2020-05-05 textproc/da-hyphen: Broken for more than 6 months
2020-05-05 textproc/glark: Broken for more than 6 months
2020-05-05 textproc/html2tex: Broken for more than 6 months
2020-05-05 textproc/htmlsection: Broken for more than 6 months
2020-05-05 textproc/kenlm: Broken for more than 6 months
2020-05-05 textproc/libguess: Broken for more than 6 months
2020-05-05 textproc/libxml++26-reference: Broken for more than 6 months
2020-05-05 textproc/no-hunspell: Broken for more than 6 months
2020-05-05 textproc/p5-MARC: Broken for more than 6 months
2020-05-05 textproc/p5-texcount: Broken for more than 6 months
2020-05-05 textproc/pcrs: Broken for more than 6 months
2020-05-05 textproc/pear-Structures_DataGrid_DataSource_RSS: Broken for more
than 6 months
2020-05-05 textproc/pear-Structures_DataGrid_DataSource_XML: Broken for more
than 6 months
2020-05-05 textproc/permute: Broken for more than 6 months
2020-05-05 textproc/pocketreader: Broken for more than 6 months
2020-05-05 textproc/py-sgrep: Broken for more than 6 months
2020-05-05 textproc/rss2html: Broken for more than 6 months
2020-05-05 textproc/ruby-xmlparser: Broken for more than 6 months
2020-05-05 textproc/sv-hyphen: Broken for more than 6 months
2020-05-05 textproc/tclExpat: Broken for more than 6 months
2020-05-05 textproc/tex2im: Broken for more than 6 months
2020-05-05 textproc/topic: Broken for more than 6 months
2020-05-05 textproc/uz-hunspell: Broken for more than 6 months
2020-05-05 textproc/xmlprpr: Broken for more than 6 months
2020-05-05 www/ach: Broken for more than 6 months
2020-05-05 www/apache-forrest: Broken for more than 6 months
2020-05-05 www/apercu: Broken for more than 6 months
2020-05-05 www/cblog: Broken for more than 6 months
2020-05-05 www/drood: Broken for more than 6 months
2020-05-05 www/drraw: Broken for more than 6 months
2020-05-05 www/flood: Broken for more than 6 months
2020-05-05 www/grafana2: Broken for more than 6 months
2020-05-05 www/imgsizer: Broken for more than 6 months
2020-05-05 www/jdresolve: Broken for more than 6 months
2020-05-05 www/linkcheck: Broken for more than 6 months
2020-05-05 www/madsonic-standalone: Broken for more than 6 months
2020-05-05 www/mod_auth_external2: Broken for more than 6 months
2020-05-05 www/mod_chroot: Broken for more than 6 months
2020-05-05 www/mod_cvs2: Broken for more than 6 months
2020-05-05 www/mod_domaintree: Broken for more than 6 months
2020-05-05 www/mod_encoding: Broken for more than 6 months
2020-05-05 www/mod_flickr: Broken for more than 6 months
2020-05-05 www/mod_gzip2: Broken for more than 6 months
2020-05-05 www/mod_layout22: Broken for more than 6 months
2020-05-05 www/mod_proctitle: Broken for more than 6 months
2020-05-05 www/mod_tsa: Broken for more than 6 months
2020-05-05 www/mod_vhs: Broken for more than 6 months
2020-05-05 www/p5-AnyEvent-Mojo: Broken for more than 6 months
2020-05-05 www/p5-Apache-Gallery: Broken for more than 6 months
2020-05-05 www/p5-WWW-Google-Video: Broken for more than 6 months
2020-05-05 www/p5-WWW-Shorten-KUSO: Broken for more than 6 months
2020-05-05 www/p5-WWW-Shorten-isgd: Broken for more than 6 months
2020-05-05 www/photo_gallery: Broken for more than 6 months
2020-05-05 www/pwebstats: Broken for more than 6 months
2020-05-05 www/py-django-profiles: Broken for more than 6 months
2020-05-05 www/red5: Broken for more than 6 months
2020-05-05 www/redmine-sidebar_hide: Broken for more than 6 months
2020-05-05 www/rssowl: Broken for more than 6 months
2020-05-05 www/skytemplate: Broken for more than 6 months
2020-05-05 www/surfraw: Broken for more than 6 months
2020-05-05 www/sws: Broken for more than 6 months
2020-05-05 www/tickr: Broken for more than 6 months
2020-05-05 www/tinytinyhttpd: Broken for more than 6 months
2020-05-05 www/udmsearch: Broken for more than 6 months
2020-05-05 www/vee: Broken for more than 6 months
2020-05-05 www/webreport: Broken for more than 6 months
2020-05-05 www/webstats: Broken for more than 6 months
2020-05-05 www/www6to4: Broken for more than 6 months
2020-05-05 x11/deskpaint: Broken for more than 6 months
2020-05-05 x11/dmenu2: Broken for more than 6 months
2020-05-05 x11/gcb: Broken for more than 6 months
2020-05-05 x11/gpctool: Broken for more than 6 months
2020-05-05 x11/ipager: Broken for more than 6 months
2020-05-05 x11/keylaunch: Broken for more than 6 months
2020-05-05 x11/props: 64-bit unsupported
2020-05-05 x11/roxbg: Broken for more than 6 months
2020-05-05 x11/sisctrl: Broken for more than 6 months
2020-05-05 x11/wdm: Broken for more than 6 months
2020-05-05 x11/xaniroc: Broken for more than 6 months
2020-05-05 x11/xmove: Broken for more than 6 months
2020-05-05 x11/xnodecor: Broken for more than 6 months
2020-05-05 x11/xvattr: Broken for more than 6 months
2020-05-05 x11-clocks/tktz: Broken for more than 6 months
2020-05-05 x11-clocks/xtimer: Broken for more than 6 months
2020-05-05 x11-themes/gnome-icons-dropline-neu: Broken for more than 6 months
2020-05-05 x11-themes/gnome-icons-dropline-nou: Broken for more than 6 months
2020-05-05 x11-themes/gnome-icons-gion: Broken for more than 6 months
2020-05-05 x11-themes/gnome-icons-jini: Broken for more than 6 months
2020-05-05 x11-themes/gtk-aurora-engine: Broken for more than 6 months
2020-05-05 x11-themes/gtk-blueprint-engine: Broken for more than 6 months
2020-05-05 x11-themes/gtk-murrina-fancy-clearlooks: Broken for more than 6
months
2020-05-05 x11-themes/gtk-murrina-lightblue: Broken for more than 6 months
2020-05-05 x11-themes/gtk-murrine-themes: Broken for more than 6 months
2020-05-05 x11-themes/murrine-configurator: Broken for more than 6 months
2020-05-05 x11-themes/nimbus: Broken for more than 6 months
2020-05-05 x11-themes/openbox-themes: Broken for more than 6 months
2020-05-05 x11-themes/rezlooks: Broken for more than 6 months
2020-05-05 x11-themes/ubuntulooks: Broken for more than 6 months
2020-05-05 x11-toolkits/slingshot: 64-bit unsupported
2020-05-05 x11-toolkits/xview-clients: 64-bit unsupported
2020-05-05 x11-wm/fluxconf: Broken for more than 6 months
2020-05-05 x11-wm/ion: Broken for more than 6 months
2020-05-05 x11-wm/matwm2: Broken for more than 6 months
2020-05-05 x11-wm/nickleby: Broken for more than 6 months
2020-05-05 x11-wm/olvwm: 64-bit unsupported
2020-05-05 x11-wm/ratmenu: Broken for more than 6 months

 

01:17 yuri 

New port: math/flexfloat: C library for the emulation of reduced-precision
floating point types

 

20:47 thierry 

Adding zn_poly, a C library for polynomial arithmetic.

To be used by SageMath.

 

17:33 thierry 

Adding LinBox, a library for exact computational linear algebra.

To be used with SageMath.

 

15:15 thierry 

Adding libhomfly, a library to compute the homfly polynomial of a link.

To be used by SageMath.

 

01:52 yuri 

New port: math/elemental: Dense and sparse linear algebra, conic optimization,
lattice reduction

 

23:26 yuri 

New port: math/vtk9: Visualization toolkit (9.0.0.rc3)

 

21:32 yuri 

New port: math/half: C++ library for half precision floating point arithmetic

 

18:53 sunpoet 

Sort SUBDIRs

 

13:54 thierry 

Adding pynac, a derivative of the C++ library GiNaC, which allows manipulation
of symbolic expressions.
It currently provides the backend for symbolic expressions in SageMath.

 

18:14 thierry 

Adding libbraiding, a C++ library for computations on braid groups.

To be used by SageMath.

 

06:40 tota 

- Add new port: math/R-cran-linprog

  This package can be used to solve Linear Programming / Linear
  Optimization problems by using the simplex algorithm.

  WWW: https://cran.r-project.org/web/packages/linprog/

 

06:27 tota 

- Add new port: math/R-cran-lpSolve

  Lp_solve is freely available (under LGPL 2) software for solving
  linear, integer and mixed integer programs. In this implementation
  we supply a "wrapper" function in C and some R functions that solve
  general linear/integer problems, assignment problems, and transportation
  problems. This version calls lp_solve version 5.5.

  WWW: https://cran.r-project.org/web/packages/lpSolve/

 

15:01 tobik 

Sort

 

21:16 tota 

- Add new port: math/R-cran-isoband

  A fast C++ implementation to generate contour lines (isolines) and
  contour polygons (isobands) from regularly spaced grids containing
  elevation data.

  WWW: https://cran.r-project.org/web/packages/isoband/

 

18:03 thierry 

Adding HPCombi, High Performance Combinatorics in C++ using vector
instructions, and libsemigroups, a C++ library for semigroups and monoids.

To be used by SageMath.

 

17:50 thierry 

Adding M4RIE, a library for fast arithmetic with dense matrices over GF(2^e)
for 2 <= e <= 16.

To be used by SageMath.

 

07:13 yuri 

math/mkl-dnn: Rename to math/onednn; Update 1.2.2 -> 1.3

The project is renamed by the upstream.

 

16:06 thierry 

Adding IML - Integer Matrix Library.

To be used by SageMath.

 

16:10 thierry 

Adding MPFI, a Multiple Precision Floating-point Interval library.

To be used by SageMath.

 

09:36 thierry 

Resurrect rw, with PKGNAME=rankwidth, and set a conflict with sysutils/rw.

 

20:25 antoine 

Remove math/rankwidth, PKGBASE collision with sysutils/rw

With hat:	portmgr

 

17:28 thierry 

Adding BRiAl, a library for polynomials over boolean rings, and its Python
module.

To be used by SageMath.

 

17:25 thierry 

Adding rankwidth / rw, a program to calculate rank-width and rank-
decompositions.

To be used by SageMath.

 

13:51 sunpoet 

Sort SUBDIRs

 

03:24 tota 

- Add new port: math/R-cran-raster

  Reading, writing, manipulating, analyzing and modeling of gridded
  spatial data. The package implements basic and high-level functions.
  Processing of very large files is supported. There is a also support
  for vector data operations such as intersections.

  WWW: https://cran.r-project.org/web/packages/raster/

 

15:27 thierry 

Adding planarity, the Edge Addition Planarity Suite, to be used by SageMath.

 

15:25 thierry 

Adding lrcalc, a Littlewood-Richardson Calculator to be used by SageMath.

 

12:40 thierry 

Adding lcalc, the L-function c++ class library and, the command line program
lcalc, to be used by SageMath.

Remark: this is not the latest version, but the one currently used by Sage,
with their patches.

 

18:37 thierry 

Adding some PARI/GP related packages, to be used by SageMath:

- gp2c: Package for translating GP routines into C
- pari_elldata: Elliptic Curve Data for PARI/GP
- pari_galdata: Data needed by PARI/GP for polgalois
- pari_galpol: Database of Galois polynomials for PARI/GP
- pari_nftables: Repackaging of the historical megrez number field tables
- pari_seadata: Modular polynomials for PARI/GP

 

19:08 thierry 

Adding gf2x, a library for multiplying polynomials over the binary field.

To be used from SageMath and NTL.

 

13:54 thierry 

Adding Cliquer, a set of C routines for finding cliques in an arbitrary
weighted graph.

To be used by SageMath.

 

16:25 thierry 

Adding m4ri. M4RI is a library for fast arithmetic with dense matrices over F2.

It can be used by SageMath.

 

16:23 thierry 

Adding eclib. The eclib package includes mwrank (for 2-descent on elliptic
curves over Q) and modular symbol code used to create the elliptic curve
database.

It can be used by SageMath.

 

15:36 antoine 

Unbreak INDEX

 

01:00 db 

Python-FCL is an (unofficial) Python interface for the Flexible Collision
Library (FCL), an excellent C++ library for performing proximity and
collision queries on pairs of geometric models. Currently, this package
is targeted for FCL 0.5.0.

WWW: https://libraries.io/pypi/python-fcl

 

00:47 db 

This is a snapshot version of FCL at 0.5.0 mainly to support
python-fcl otherwise please use the fcl port.
N.B. python-fcl also needs octomap

FCL is a library for performing three types of proximity queries on a pair of
geometric models composed of triangles.

It performs:
* Collision detection: detecting whether the two models overlap, and optionally,
  all of the triangles that overlap.
* Distance computation: computing the minimum distance between a pair of models,
  i.e., the distance between the closest pair of points.
* Tolerance verification: determining whether two models are closer or farther
  than a tolerance distance.
* Continuous collision detection: detecting whether the two moving models
  overlap during the movement, and optionally, the time of contact.
* Contact information: for collision detection and continuous collision
  detection, the contact information (including contact normals and contact
  points) can be returned optionally.

 

06:31 yuri 

New port: math/cudd: Package for the manipulation of Binary Decision Diagrams
(BDDs), etc

 

14:21 db 

*Triangle* is a python wrapper around Jonathan Richard Shewchuk's
two-dimensional
quality mesh generator and delaunay triangulator library.
This implementation utilizes Cython_ to wrap the C API as closely as possible.

WWW: https://rufat.be/triangle

 

20:05 yuri 

New port: math/dune-spgrid: DUNE framework: A structured, parallel DUNE grid
implementation

 

03:50 yuri 

New port: math/dune-pdelab: DUNE framework: PDE solver toolbox

 

01:53 yuri 

New port: math/dune-functions: DUNE framework: Abstraction layer for global
finite element functions

 

23:35 yuri 

New port: math/dune-typetree: DUNE framework: The TypeTree library

 

22:48 yuri 

New port: math/dune-alugrid: DUNE framework: grid implementation providing
simplex or cube grids

 

22:25 yuri 

New port: math/dune-localfunctions: DUNE framework: Local finite elements

 

22:14 yuri 

New port: math/dune-istl: DUNE framework: Iterative Solver Template Library

 

22:11 yuri 

New port: math/dune-grid: DUNE framework: Geometry transformations, reference
elements, etc

 

22:09 yuri 

New port: math/dune-uggrid: DUNE framework: The UG Grid Manager

 

22:04 yuri 

New port: math/dune-geometry: DUNE framework: Geometry transformations,
reference elements, etc

 

22:02 yuri 

New port: math/dune-common: DUNE framework: Build system, infrastructure and
foundation classes

 

01:15 yuri 

New port: math/hs-penrose: Create diagrams by typing mathematical notation in
plain text

With help of:	arrowd

 

16:18 0mp 

Rename math/py-PySMT to math/py-pysmt

This is done in order to follow the policy set out by the Python team:
https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME

Reported by:	koobs

 

00:00 0mp 

New port: math/py-claripy

Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

WWW: https://github.com/angr/claripy

PR:		244562

 

23:41 0mp 

New port: math/py-PySMT

pySMT is a library for SMT formulae manipulation and solving, which makes
working with Satisfiability Modulo Theory simple.

Among others, the user can:

- Define formulae in a solver independent way in a simple and inutitive
  way,
- Write ad-hoc simplifiers and operators,
- Dump your problems in the SMT-Lib format,
- Solve them using one of the native solvers, or by wrapping any SMT-Lib
  complaint solver.

pySMT provides methods to define a formula in Linear Real Arithmetic (LRA),
Real Difference Logic (RDL), their combination (LIRA), Equalities and
Uninterpreted Functions (EUF), Bit-Vectors (BV), and Arrays (A). The
following solvers are supported through native APIs: MathSAT, Z3, CVC4,
Yices, CUDD, PicoSAT, and Boolector. Additionally, you can use any SMT-LIB
2 compliant solver.

PySMT assumes that the python bindings for the SMT Solver are installed and
accessible from your PYTHONPATH.

WWW: http://www.pysmt.org

PR:		244562

 

17:19 rene 

Remove expired ports:

2020-03-01 audio/idjc: Old, uses EOLed python27
2020-03-01 cad/py-pycam: Old, uses EOLed python27
2020-02-27 chinese/gimp-help-zh_CN: Broken
2020-03-01 databases/emma: Old, uses EOLed python27
2020-03-01 deskutils/anamnesis: Old, uses EOLed python27
2020-02-28 deskutils/cherrytree: Old, uses EOLed python27
2020-03-01 deskutils/gbirthday: Old, uses EOLed python27
2020-03-01 deskutils/gtg: Old, uses EOLed python27
2020-03-01 deskutils/nemo-extensions: Old, uses EOLed python27
2020-03-01 deskutils/pybookreader: Old, uses EOLed python27
2020-03-01 devel/diffuse: Old, uses EOLed python27
2020-02-28 devel/dreampie: Old, uses EOLed python27
2020-03-01 devel/gtkparasite: Old, uses EOLed python27

(Only the first 15 lines of the commit message are shown above )