The NetBSD Project

pkgsrc/math/py-z3solver/

Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.

Current directory: [cvs.NetBSD.org] / pkgsrc / math / py-z3solver

Current tag: pkgsrc-2019Q1


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] patches/        
[TXT] DESCR  1.1   19 months  khorben   Import math/py-z3solver version 4.5.0.1 Z3 is a theorem prover from Microsoft R...
[TXT] Makefile  1.3   19 months  khorben   Really correct the PKGNAME
[TXT] PLIST  1.1   19 months  khorben   Import math/py-z3solver version 4.5.0.1 Z3 is a theorem prover from Microsoft R...
[TXT] distinfo  1.1   19 months  khorben   Import math/py-z3solver version 4.5.0.1 Z3 is a theorem prover from Microsoft R...


CVSweb <webmaster@jp.NetBSD.org>