CVS log for pkgsrc/math/minisat/distinfo
![[BACK]](/icons/back.gif)
Up to [cvs.NetBSD.org] / pkgsrc / math / minisat
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Revision 1.6: download - view: text, markup, annotated - select for diffs
Tue Oct 26 10:55:49 2021 UTC (3 years, 5 months ago) by nia
Branches: MAIN
CVS tags: pkgsrc-2025Q1-base,
pkgsrc-2025Q1,
pkgsrc-2024Q4-base,
pkgsrc-2024Q4,
pkgsrc-2024Q3-base,
pkgsrc-2024Q3,
pkgsrc-2024Q2-base,
pkgsrc-2024Q2,
pkgsrc-2024Q1-base,
pkgsrc-2024Q1,
pkgsrc-2023Q4-base,
pkgsrc-2023Q4,
pkgsrc-2023Q3-base,
pkgsrc-2023Q3,
pkgsrc-2023Q2-base,
pkgsrc-2023Q2,
pkgsrc-2023Q1-base,
pkgsrc-2023Q1,
pkgsrc-2022Q4-base,
pkgsrc-2022Q4,
pkgsrc-2022Q3-base,
pkgsrc-2022Q3,
pkgsrc-2022Q2-base,
pkgsrc-2022Q2,
pkgsrc-2022Q1-base,
pkgsrc-2022Q1,
pkgsrc-2021Q4-base,
pkgsrc-2021Q4,
HEAD
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +2 -2
lines
math: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
Revision 1.5: download - view: text, markup, annotated - select for diffs
Thu Oct 7 14:28:10 2021 UTC (3 years, 6 months ago) by nia
Branches: MAIN
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +1 -2
lines
math: Remove SHA1 hashes for distfiles
Revision 1.4: download - view: text, markup, annotated - select for diffs
Tue Nov 3 23:33:37 2015 UTC (9 years, 5 months ago) by agc
Branches: MAIN
CVS tags: pkgsrc-2021Q3-base,
pkgsrc-2021Q3,
pkgsrc-2021Q2-base,
pkgsrc-2021Q2,
pkgsrc-2021Q1-base,
pkgsrc-2021Q1,
pkgsrc-2020Q4-base,
pkgsrc-2020Q4,
pkgsrc-2020Q3-base,
pkgsrc-2020Q3,
pkgsrc-2020Q2-base,
pkgsrc-2020Q2,
pkgsrc-2020Q1-base,
pkgsrc-2020Q1,
pkgsrc-2019Q4-base,
pkgsrc-2019Q4,
pkgsrc-2019Q3-base,
pkgsrc-2019Q3,
pkgsrc-2019Q2-base,
pkgsrc-2019Q2,
pkgsrc-2019Q1-base,
pkgsrc-2019Q1,
pkgsrc-2018Q4-base,
pkgsrc-2018Q4,
pkgsrc-2018Q3-base,
pkgsrc-2018Q3,
pkgsrc-2018Q2-base,
pkgsrc-2018Q2,
pkgsrc-2018Q1-base,
pkgsrc-2018Q1,
pkgsrc-2017Q4-base,
pkgsrc-2017Q4,
pkgsrc-2017Q3-base,
pkgsrc-2017Q3,
pkgsrc-2017Q2-base,
pkgsrc-2017Q2,
pkgsrc-2017Q1-base,
pkgsrc-2017Q1,
pkgsrc-2016Q4-base,
pkgsrc-2016Q4,
pkgsrc-2016Q3-base,
pkgsrc-2016Q3,
pkgsrc-2016Q2-base,
pkgsrc-2016Q2,
pkgsrc-2016Q1-base,
pkgsrc-2016Q1,
pkgsrc-2015Q4-base,
pkgsrc-2015Q4
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +2 -1
lines
Add SHA512 digests for distfiles for math category
Problems found locating distfiles:
Package dfftpack: missing distfile dfftpack-20001209.tar.gz
Package eispack: missing distfile eispack-20001130.tar.gz
Package fftpack: missing distfile fftpack-20001130.tar.gz
Package linpack: missing distfile linpack-20010510.tar.gz
Package minpack: missing distfile minpack-20001130.tar.gz
Package odepack: missing distfile odepack-20001130.tar.gz
Package py-networkx: missing distfile networkx-1.10.tar.gz
Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
Package quadpack: missing distfile quadpack-20001130.tar.gz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden). All existing
SHA1 digests retained for now as an audit trail.
Revision 1.3: download - view: text, markup, annotated - select for diffs
Thu Jan 9 14:38:33 2014 UTC (11 years, 3 months ago) by jperkin
Branches: MAIN
CVS tags: pkgsrc-2015Q3-base,
pkgsrc-2015Q3,
pkgsrc-2015Q2-base,
pkgsrc-2015Q2,
pkgsrc-2015Q1-base,
pkgsrc-2015Q1,
pkgsrc-2014Q4-base,
pkgsrc-2014Q4,
pkgsrc-2014Q3-base,
pkgsrc-2014Q3,
pkgsrc-2014Q2-base,
pkgsrc-2014Q2,
pkgsrc-2014Q1-base,
pkgsrc-2014Q1
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +2 -2
lines
Needs zlib. Provide dummy Minisat::memUsedPeak().
Revision 1.2: download - view: text, markup, annotated - select for diffs
Fri Nov 8 21:15:02 2013 UTC (11 years, 5 months ago) by joerg
Branches: MAIN
CVS tags: pkgsrc-2013Q4-base,
pkgsrc-2013Q4
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +2 -1
lines
Friends may not add default arguments.
Revision 1.1.1.1 (vendor branch): download - view: text, markup, annotated - select for diffs
Mon Oct 28 04:15:11 2013 UTC (11 years, 5 months ago) by asau
Branches: TNF
CVS tags: pkgsrc-base
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +0 -0
lines
Import MiniSat version 2.2.0 as math/minisat.
MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
Revision 1.1: download - view: text, markup, annotated - select for diffs
Mon Oct 28 04:15:11 2013 UTC (11 years, 5 months ago) by asau
Branches: MAIN
Initial revision
CVSweb <webmaster@jp.NetBSD.org>