notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

/commits.php is going away

I'm proposing to take /commits.php away - it mainly duplicates the home page. Details in this GitHub issue.
Port details
py-pycosat Bindings to PicoSAT (a SAT solver)
0.6.0 devel Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.6.0Version of this port present on the latest quarterly branch.
Maintainer: koobs@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2014-08-23 07:11:43
Last Update: 2014-08-25 11:10:03
SVN Revision: 366063
Also Listed In: math python
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • py27-pycosat>0:devel/py-pycosat
No installation instructions: this port has been deleted.
The package name of this deleted port was: py27-pycosat
PKGNAME: py27-pycosat
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.
No package information for this port in our database

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py27-setuptools27>0 : devel/py-setuptools27
  2. python2.7 : lang/python27
Runtime dependencies:
  1. py27-setuptools27>0 : devel/py-setuptools27
  2. python2.7 : lang/python27
Library dependencies:
  1. libpicosat.so : devel/picosat
There are no ports dependent upon this port

Configuration Options:
Options name:
Master Sites:
Expand this list (4 items)
Collapse this list.
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://pypi.crate.io/packages/source/p/pycosat/
  3. http://pypi.python.jp/pycosat/
  4. http://pypi.python.org/packages/source/p/pycosat/
Collapse this list.
Port Moves
  • port moved to math/py-pycosat on 2014-08-25
    REASON: More appropriate primary category

Number of commits found: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
25 Aug 2014 11:10:03
Original commit files touched by this commit Revision:366063  0.6.0
koobs search for other commits by this committer
Move picosat and py-pycosat from devel -> math

- Remove from devel/Makefile
- Add to math/Makefile
- Update CATEGORIES for both ports
- Add MOVED entries

While I'm here, sort MOVED entries causing MOVEDlint.awk error [1]
after r365599 [2]

[1] 6470: date going backwards from 2014-08-20 to 2014-08-15
[2] https://svnweb.freebsd.org/changeset/ports/365599

Suggested by:	vsevolod
23 Aug 2014 07:11:36
Original commit files touched by this commit Revision:365712  0.6.0
koobs search for other commits by this committer
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.

WWW: https://github.com/ContinuumIO/pycosat

Number of commits found: 2