diff options
| author | ryoon <ryoon> | 2015-06-30 10:25:01 +0000 |
|---|---|---|
| committer | ryoon <ryoon> | 2015-06-30 10:25:01 +0000 |
| commit | ca21c1c432d311968988f3362fd20fdecc1c819e (patch) | |
| tree | cc1aa85c17ec5126240c961bc490a79a05a550ae /math/minisat | |
| parent | 4f744abaee264b2a21f83eeadad1636b38629990 (diff) | |
| download | pkgsrc-ca21c1c432d311968988f3362fd20fdecc1c819e.tar.gz | |
Update to 3.1.3
Changelog:
Changes from version 3.1.2 to version 3.1.3:
- Better support for Automake 1.13+ (now used to generate the tarball).
- Improved MPFR manual.
- Bug fixes (see <http://www.mpfr.org/mpfr-3.1.2/#fixed> and ChangeLog file).
Diffstat (limited to 'math/minisat')
0 files changed, 0 insertions, 0 deletions