![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / math / otter
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.17 / (download) - annotate - [select for diffs], Sun Apr 25 06:36:52 2021 UTC (2 years, 7 months ago) by wiz
Branch: MAIN
CVS Tags: 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,
pkgsrc-2021Q3-base,
pkgsrc-2021Q3,
pkgsrc-2021Q2-base,
pkgsrc-2021Q2,
HEAD
Changes since 1.16: +3 -3
lines
Diff to previous 1.16 (colored)
otter: update links
Revision 1.16 / (download) - annotate - [select for diffs], Tue Sep 11 23:04:25 2012 UTC (11 years, 2 months ago) by asau
Branch: MAIN
CVS Tags: 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,
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,
pkgsrc-2013Q4-base,
pkgsrc-2013Q4,
pkgsrc-2013Q3-base,
pkgsrc-2013Q3,
pkgsrc-2013Q2-base,
pkgsrc-2013Q2,
pkgsrc-2013Q1-base,
pkgsrc-2013Q1,
pkgsrc-2012Q4-base,
pkgsrc-2012Q4,
pkgsrc-2012Q3-base,
pkgsrc-2012Q3
Changes since 1.15: +1 -3
lines
Diff to previous 1.15 (colored)
"user-destdir" is default these days
Revision 1.15 / (download) - annotate - [select for diffs], Tue Mar 4 18:12:59 2008 UTC (15 years, 9 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2012Q2-base,
pkgsrc-2012Q2,
pkgsrc-2012Q1-base,
pkgsrc-2012Q1,
pkgsrc-2011Q4-base,
pkgsrc-2011Q4,
pkgsrc-2011Q3-base,
pkgsrc-2011Q3,
pkgsrc-2011Q2-base,
pkgsrc-2011Q2,
pkgsrc-2011Q1-base,
pkgsrc-2011Q1,
pkgsrc-2010Q4-base,
pkgsrc-2010Q4,
pkgsrc-2010Q3-base,
pkgsrc-2010Q3,
pkgsrc-2010Q2-base,
pkgsrc-2010Q2,
pkgsrc-2010Q1-base,
pkgsrc-2010Q1,
pkgsrc-2009Q4-base,
pkgsrc-2009Q4,
pkgsrc-2009Q3-base,
pkgsrc-2009Q3,
pkgsrc-2009Q2-base,
pkgsrc-2009Q2,
pkgsrc-2009Q1-base,
pkgsrc-2009Q1,
pkgsrc-2008Q4-base,
pkgsrc-2008Q4,
pkgsrc-2008Q3-base,
pkgsrc-2008Q3,
pkgsrc-2008Q2-base,
pkgsrc-2008Q2,
pkgsrc-2008Q1-base,
pkgsrc-2008Q1,
cwrapper,
cube-native-xorg-base,
cube-native-xorg
Changes since 1.14: +12 -10
lines
Diff to previous 1.14 (colored)
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
Revision 1.14 / (download) - annotate - [select for diffs], Wed Oct 4 21:47:58 2006 UTC (17 years, 2 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2007Q4-base,
pkgsrc-2007Q4,
pkgsrc-2007Q3-base,
pkgsrc-2007Q3,
pkgsrc-2007Q2-base,
pkgsrc-2007Q2,
pkgsrc-2007Q1-base,
pkgsrc-2007Q1,
pkgsrc-2006Q4-base,
pkgsrc-2006Q4
Changes since 1.13: +2 -2
lines
Diff to previous 1.13 (colored)
Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.
Revision 1.13 / (download) - annotate - [select for diffs], Sat Mar 4 21:30:04 2006 UTC (17 years, 9 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2006Q3-base,
pkgsrc-2006Q3,
pkgsrc-2006Q2-base,
pkgsrc-2006Q2,
pkgsrc-2006Q1-base,
pkgsrc-2006Q1
Changes since 1.12: +2 -2
lines
Diff to previous 1.12 (colored)
Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
Revision 1.12 / (download) - annotate - [select for diffs], Fri Jun 17 03:50:20 2005 UTC (18 years, 5 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2005Q4-base,
pkgsrc-2005Q4,
pkgsrc-2005Q3-base,
pkgsrc-2005Q3,
pkgsrc-2005Q2-base,
pkgsrc-2005Q2
Changes since 1.11: +3 -1
lines
Diff to previous 1.11 (colored)
Create directories before installing files into them.
Revision 1.11 / (download) - annotate - [select for diffs], Fri Dec 3 15:15:03 2004 UTC (19 years ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base,
pkgsrc-2005Q1,
pkgsrc-2004Q4-base,
pkgsrc-2004Q4
Changes since 1.10: +2 -2
lines
Diff to previous 1.10 (colored)
Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. Suggested by Roland Illig, ok'd by various.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Jan 20 12:20:05 2004 UTC (19 years, 10 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2004Q3-base,
pkgsrc-2004Q3,
pkgsrc-2004Q2-base,
pkgsrc-2004Q2,
pkgsrc-2004Q1-base,
pkgsrc-2004Q1
Changes since 1.9: +2 -2
lines
Diff to previous 1.9 (colored)
Move WRKSRC definition away from the first paragraph in a Makefile.
Revision 1.9 / (download) - annotate - [select for diffs], Thu Jul 17 21:47:53 2003 UTC (20 years, 4 months ago) by grant
Branch: MAIN
CVS Tags: pkgsrc-2003Q4-base,
pkgsrc-2003Q4
Changes since 1.8: +2 -2
lines
Diff to previous 1.8 (colored)
s/netbsd.org/NetBSD.org/
Revision 1.8 / (download) - annotate - [select for diffs], Wed Jun 18 09:22:21 2003 UTC (20 years, 5 months ago) by agc
Branch: MAIN
Changes since 1.7: +7 -7
lines
Diff to previous 1.7 (colored)
When constructing the WRKSRC definition, use ${PKGNAME_NOREV} rather than
${PKGNAME}, so that the WRKSRC definition is immune from any subsequent
PKGREVISION changes. With thanks to jmc for the nudge.
Revision 1.7 / (download) - annotate - [select for diffs], Mon Jun 2 01:18:28 2003 UTC (20 years, 6 months ago) by jschauma
Branch: MAIN
Changes since 1.6: +2 -2
lines
Diff to previous 1.6 (colored)
Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages. Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
Revision 1.6 / (download) - annotate - [select for diffs], Sat Mar 29 12:41:43 2003 UTC (20 years, 8 months ago) by jmmv
Branch: MAIN
Changes since 1.5: +2 -3
lines
Diff to previous 1.5 (colored)
Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.
Revision 1.5 / (download) - annotate - [select for diffs], Wed Apr 25 23:35:30 2001 UTC (22 years, 7 months ago) by jtb
Branch: MAIN
CVS Tags: pkgviews-base,
pkgviews,
netbsd-1-6-RELEASE-base,
netbsd-1-6-1-base,
netbsd-1-6-1,
netbsd-1-6,
netbsd-1-5-PATCH003,
netbsd-1-5-PATCH001,
buildlink2-base,
buildlink2
Changes since 1.4: +12 -19
lines
Diff to previous 1.4 (colored)
Respect CFLAGS. This seems to work okay with default optimization.
Revision 1.4 / (download) - annotate - [select for diffs], Sat Apr 14 21:43:54 2001 UTC (22 years, 7 months ago) by jtb
Branch: MAIN
Changes since 1.3: +2 -2
lines
Diff to previous 1.3 (colored)
Change MAINTAINER section to packages@netbsd.org
Revision 1.3 / (download) - annotate - [select for diffs], Sat Mar 31 18:10:47 2001 UTC (22 years, 8 months ago) by jtb
Branch: MAIN
Changes since 1.2: +5 -2
lines
Diff to previous 1.2 (colored)
Otter doesn't respect CFLAGS because -O2 optimization causes the program to malfunction. While here, change COMMENT to "Automated Deduction System".
Revision 1.2 / (download) - annotate - [select for diffs], Sat Feb 17 18:22:33 2001 UTC (22 years, 9 months ago) by wiz
Branch: MAIN
Changes since 1.1: +2 -1
lines
Diff to previous 1.1 (colored)
Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Sat Nov 25 18:19:19 2000 UTC (23 years ago) by jtb
Branch: TNF
CVS Tags: pkgsrc-base
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored)
Initial import of new "otter" package: Otter is a theorem-proving program
Revision 1.1 / (download) - annotate - [select for diffs], Sat Nov 25 18:19:19 2000 UTC (23 years ago) by jtb
Branch: MAIN
Initial revision