head	1.6;
access;
symbols
	pkgsrc-2026Q1:1.6.0.22
	pkgsrc-2026Q1-base:1.6
	pkgsrc-2025Q4:1.6.0.20
	pkgsrc-2025Q4-base:1.6
	pkgsrc-2025Q3:1.6.0.18
	pkgsrc-2025Q3-base:1.6
	pkgsrc-2025Q2:1.6.0.16
	pkgsrc-2025Q2-base:1.6
	pkgsrc-2025Q1:1.6.0.14
	pkgsrc-2025Q1-base:1.6
	pkgsrc-2024Q4:1.6.0.12
	pkgsrc-2024Q4-base:1.6
	pkgsrc-2024Q3:1.6.0.10
	pkgsrc-2024Q3-base:1.6
	pkgsrc-2024Q2:1.6.0.8
	pkgsrc-2024Q2-base:1.6
	pkgsrc-2024Q1:1.6.0.6
	pkgsrc-2024Q1-base:1.6
	pkgsrc-2023Q4:1.6.0.4
	pkgsrc-2023Q4-base:1.6
	pkgsrc-2023Q3:1.6.0.2
	pkgsrc-2023Q3-base:1.6
	pkgsrc-2023Q2:1.5.0.14
	pkgsrc-2023Q2-base:1.5
	pkgsrc-2023Q1:1.5.0.12
	pkgsrc-2023Q1-base:1.5
	pkgsrc-2022Q4:1.5.0.10
	pkgsrc-2022Q4-base:1.5
	pkgsrc-2022Q3:1.5.0.8
	pkgsrc-2022Q3-base:1.5
	pkgsrc-2022Q2:1.5.0.6
	pkgsrc-2022Q2-base:1.5
	pkgsrc-2022Q1:1.5.0.4
	pkgsrc-2022Q1-base:1.5
	pkgsrc-2021Q4:1.5.0.2
	pkgsrc-2021Q4-base:1.5
	pkgsrc-2021Q3:1.3.0.32
	pkgsrc-2021Q3-base:1.3
	pkgsrc-2021Q2:1.3.0.30
	pkgsrc-2021Q2-base:1.3
	pkgsrc-2021Q1:1.3.0.28
	pkgsrc-2021Q1-base:1.3
	pkgsrc-2020Q4:1.3.0.26
	pkgsrc-2020Q4-base:1.3
	pkgsrc-2020Q3:1.3.0.24
	pkgsrc-2020Q3-base:1.3
	pkgsrc-2020Q2:1.3.0.22
	pkgsrc-2020Q2-base:1.3
	pkgsrc-2020Q1:1.3.0.18
	pkgsrc-2020Q1-base:1.3
	pkgsrc-2019Q4:1.3.0.20
	pkgsrc-2019Q4-base:1.3
	pkgsrc-2019Q3:1.3.0.16
	pkgsrc-2019Q3-base:1.3
	pkgsrc-2019Q2:1.3.0.14
	pkgsrc-2019Q2-base:1.3
	pkgsrc-2019Q1:1.3.0.12
	pkgsrc-2019Q1-base:1.3
	pkgsrc-2018Q4:1.3.0.10
	pkgsrc-2018Q4-base:1.3
	pkgsrc-2018Q3:1.3.0.8
	pkgsrc-2018Q3-base:1.3
	pkgsrc-2018Q2:1.3.0.6
	pkgsrc-2018Q2-base:1.3
	pkgsrc-2018Q1:1.3.0.4
	pkgsrc-2018Q1-base:1.3
	pkgsrc-2017Q4:1.3.0.2
	pkgsrc-2017Q4-base:1.3
	pkgsrc-2017Q3:1.2.0.18
	pkgsrc-2017Q3-base:1.2
	pkgsrc-2017Q2:1.2.0.14
	pkgsrc-2017Q2-base:1.2
	pkgsrc-2017Q1:1.2.0.12
	pkgsrc-2017Q1-base:1.2
	pkgsrc-2016Q4:1.2.0.10
	pkgsrc-2016Q4-base:1.2
	pkgsrc-2016Q3:1.2.0.8
	pkgsrc-2016Q3-base:1.2
	pkgsrc-2016Q2:1.2.0.6
	pkgsrc-2016Q2-base:1.2
	pkgsrc-2016Q1:1.2.0.4
	pkgsrc-2016Q1-base:1.2
	pkgsrc-2015Q4:1.2.0.2
	pkgsrc-2015Q4-base:1.2
	pkgsrc-2015Q3:1.1.1.1.0.40
	pkgsrc-2015Q3-base:1.1.1.1
	pkgsrc-2015Q2:1.1.1.1.0.38
	pkgsrc-2015Q2-base:1.1.1.1
	pkgsrc-2015Q1:1.1.1.1.0.36
	pkgsrc-2015Q1-base:1.1.1.1
	pkgsrc-2014Q4:1.1.1.1.0.34
	pkgsrc-2014Q4-base:1.1.1.1
	pkgsrc-2014Q3:1.1.1.1.0.32
	pkgsrc-2014Q3-base:1.1.1.1
	pkgsrc-2014Q2:1.1.1.1.0.30
	pkgsrc-2014Q2-base:1.1.1.1
	pkgsrc-2014Q1:1.1.1.1.0.28
	pkgsrc-2014Q1-base:1.1.1.1
	pkgsrc-2013Q4:1.1.1.1.0.26
	pkgsrc-2013Q4-base:1.1.1.1
	pkgsrc-2013Q3:1.1.1.1.0.24
	pkgsrc-2013Q3-base:1.1.1.1
	pkgsrc-2013Q2:1.1.1.1.0.22
	pkgsrc-2013Q2-base:1.1.1.1
	pkgsrc-2013Q1:1.1.1.1.0.20
	pkgsrc-2013Q1-base:1.1.1.1
	pkgsrc-2012Q4:1.1.1.1.0.18
	pkgsrc-2012Q4-base:1.1.1.1
	pkgsrc-2012Q3:1.1.1.1.0.16
	pkgsrc-2012Q3-base:1.1.1.1
	pkgsrc-2012Q2:1.1.1.1.0.14
	pkgsrc-2012Q2-base:1.1.1.1
	pkgsrc-2012Q1:1.1.1.1.0.12
	pkgsrc-2012Q1-base:1.1.1.1
	pkgsrc-2011Q4:1.1.1.1.0.10
	pkgsrc-2011Q4-base:1.1.1.1
	pkgsrc-2011Q3:1.1.1.1.0.8
	pkgsrc-2011Q3-base:1.1.1.1
	pkgsrc-2011Q2:1.1.1.1.0.6
	pkgsrc-2011Q2-base:1.1.1.1
	pkgsrc-2011Q1:1.1.1.1.0.4
	pkgsrc-2011Q1-base:1.1.1.1
	pkgsrc-2010Q4:1.1.1.1.0.2
	pkgsrc-2010Q4-base:1.1.1.1
	pkgsrc-base:1.1.1.1
	TNF:1.1.1;
locks; strict;
comment	@# @;


1.6
date	2023.07.11.11.07.05;	author wiz;	state Exp;
branches;
next	1.5;
commitid	857z5vs31QJqjnwE;

1.5
date	2021.10.26.10.19.57;	author nia;	state Exp;
branches;
next	1.4;
commitid	XMBRkrafc79x2jeD;

1.4
date	2021.10.07.13.44.31;	author nia;	state Exp;
branches;
next	1.3;
commitid	TK9Y8OXA04EYMSbD;

1.3
date	2017.12.10.13.56.34;	author adam;	state Exp;
branches;
next	1.2;
commitid	O0Nw5lfOBH5bNliA;

1.2
date	2015.11.03.03.29.33;	author agc;	state Exp;
branches;
next	1.1;
commitid	XagoUgdES8g2ZAHy;

1.1
date	2010.10.24.18.54.12;	author agc;	state Exp;
branches
	1.1.1.1;
next	;

1.1.1.1
date	2010.10.24.18.54.12;	author agc;	state Exp;
branches;
next	;


desc
@@


1.6
log
@spin: update to 6.5.2.

No changelog found, couple of years of development.

pkgsrc change: Install examples.
@
text
@$NetBSD: distinfo,v 1.5 2021/10/26 10:19:57 nia Exp $

BLAKE2s (spin-6.5.2.tar.gz) = 31c2467744b85c94825e44882423483e213110b00618061c60956c10593df74b
SHA512 (spin-6.5.2.tar.gz) = ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9
Size (spin-6.5.2.tar.gz) = 6084903 bytes
SHA1 (patch-Src_spin.y) = 13b7272873cac718b9d7af2f14f2498e770284ab
@


1.5
log
@archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.4 2021/10/07 13:44:31 nia Exp $
d3 4
a6 3
BLAKE2s (spin647.tar.gz) = c7c79259aac7c63706bbe273db3d84f2dc7978e61254ac214bacd97bdb964a9e
SHA512 (spin647.tar.gz) = da8a28e4fa024e40beb813f78cd001a6e17ff19636b4a946dff08c7ab999f7fd2f21e532a9610861f0530fd5d0c68685bbaa5a2b5bc65ad2c14cf8a46324c65c
Size (spin647.tar.gz) = 515131 bytes
@


1.4
log
@devel: Remove SHA1 hashes for distfiles
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.3 2017/12/10 13:56:34 adam Exp $
d3 1
a3 1
RMD160 (spin647.tar.gz) = 2b07b9c25fcd7f934dc86241069c39e3dfc426ee
@


1.3
log
@spin: updated to 6.4.7

Version 6.4.7:
- fixed a bug in the parsing of for (...) statements if
  initialized variable declarations appear in the body of the loop
- optimization in interpreting the swarm option, by avoiding
  unnecessary recompilations, plus other small fixes in the
  generation of parameter values for -k and -w with swarms
- added runtime option -W to suppress recompilation of pan if
  the executable already exists
- fixed bug in printing the value of a random seed at the end of
  a randomized run
- added compilation warning if both -DNP and -DNOCLAIM are used
  (in that case -DNP is assumed to override -DNOCLAIM)
- fixed a bug in the parsing of select (...) statements that could
  cause unwarranted syntax errors when larger ranges are used
- switched to executables for Windows PCs that do not require
  a cygwin installation (using mingw32 and mingw64 bit compilations)
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.2 2015/11/03 03:29:33 agc Exp $
a2 1
SHA1 (spin647.tar.gz) = 307ae8ce800dd62520ea118f144a806c14cdf4a5
@


1.2
log
@Add SHA512 digests for distfiles for devel category

Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

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.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.1.1.1 2010/10/24 18:54:12 agc Exp $
d3 4
a6 4
SHA1 (spin525.tar.gz) = 274649628c0c8ae3414b863c27a1b8d98a8e9921
RMD160 (spin525.tar.gz) = 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f
SHA512 (spin525.tar.gz) = 3d2866fe7320bc8c587b0c309c9590c59f4eb787bbc349ba64df7ebc116bfe134c0933ac934b24f8230c04d786a65dcf4d6a0ab19591a679bd65bda0e1eecdc9
Size (spin525.tar.gz) = 413406 bytes
@


1.1
log
@Initial revision
@
text
@d1 1
a1 1
$NetBSD$
d5 1
@


1.1.1.1
log
@Initial import of spin version 5.2.5 into the Packages Collection.

	To verify a design, a formal model is built using PROMELA, Spin's
	input language.  PROMELA is a non-deterministic language, loosely
	based on Dijkstra's guarded command language notation and borrowing
	the notation for I/O operations from Hoare's CSP language.

	Spin can be used in four main modes:

	1.  as a simulator, allowing for rapid prototyping with a random,
	guided, or interactive simulations

	2.  as an exhaustive verifier, capable of rigorously proving the
	validity of user specified correctness requirements (using partial
	order reduction theory to optimize the search)

	3.  as proof approximation system that can validate even very large
	system models with maximal coverage of the state space.

	4.  as a driver for swarm verification (a new form of swarm
	computing), which can make optimal use of large numbers of available
	compute cores to leverage parallelism and search diversification
	techniques, which increases the chance of locating defects in very
	large verification models.

With thanks to the plan9 guys for the nudge
@
text
@@