head	1.4;
access;
symbols
	pkgsrc-2026Q3:1.4.0.20
	pkgsrc-2026Q3-base:1.4
	pkgsrc-2026Q2:1.4.0.18
	pkgsrc-2026Q2-base:1.4
	pkgsrc-2026Q1:1.4.0.16
	pkgsrc-2026Q1-base:1.4
	pkgsrc-2025Q4:1.4.0.14
	pkgsrc-2025Q4-base:1.4
	pkgsrc-2025Q3:1.4.0.12
	pkgsrc-2025Q3-base:1.4
	pkgsrc-2025Q2:1.4.0.10
	pkgsrc-2025Q2-base:1.4
	pkgsrc-2025Q1:1.4.0.8
	pkgsrc-2025Q1-base:1.4
	pkgsrc-2024Q4:1.4.0.6
	pkgsrc-2024Q4-base:1.4
	pkgsrc-2024Q3:1.4.0.4
	pkgsrc-2024Q3-base:1.4
	pkgsrc-2024Q2:1.4.0.2
	pkgsrc-2024Q2-base:1.4
	pkgsrc-2024Q1:1.2.0.4
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.2
	pkgsrc-2023Q4-base:1.2;
locks; strict;
comment	@# @;


1.4
date	2024.05.03.06.47.52;	author pho;	state Exp;
branches;
next	1.3;
commitid	uOom8u3DrtOPkw8F;

1.3
date	2024.05.03.06.47.18;	author pho;	state Exp;
branches;
next	1.2;
commitid	9h58ffHgS2KDkw8F;

1.2
date	2023.11.07.03.40.19;	author pho;	state Exp;
branches;
next	1.1;
commitid	i9sDHVIwsDhe1DLE;

1.1
date	2023.11.06.17.17.50;	author pho;	state Exp;
branches;
next	;
commitid	pJSwne1IrMrGzzLE;


desc
@@


1.4
log
@lang/idris2: Forgot to regen distinfo
@
text
@$NetBSD: distinfo,v 1.3 2024/05/03 06:47:18 pho Exp $

BLAKE2s (idris2-0.7.0.tar.gz) = c712b388684f4bd5b96d223ee93e56d3faea52f7c3dc73aa3247f169dd99c024
SHA512 (idris2-0.7.0.tar.gz) = 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
Size (idris2-0.7.0.tar.gz) = 6987849 bytes
@


1.3
log
@lang/idris2: Update to 0.7.0

Release notes are too long to paste here:
https://github.com/idris-lang/Idris2/blob/27780073c8631826d846499840b3857d9b9a4fd5/CHANGELOG.md
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.2 2023/11/07 03:40:19 pho Exp $
a5 1
SHA1 (patch-src_Idris_SetOptions.idr) = 0a7c153290d39c07ac83406e9e8b1d9c0072366d
@


1.2
log
@lang/idris2: Add upstream URLs to patches
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.1 2023/11/06 17:17:50 pho Exp $
d3 4
a6 18
BLAKE2s (idris2-0.6.0.tgz) = fcf40270e9a4bcceeeeb1eb78c4d9087c5640046ca10efcd16afabcebf6833aa
SHA512 (idris2-0.6.0.tgz) = 97dfdb4a8c115e7f2ed676649ee718f0e8ab257083b1d862a3da63bae92d6bc436cd2d3a9fb25942fc4ce7d69f7431418a3699955fe2dd41d137ac65e6e35755
Size (idris2-0.6.0.tgz) = 3669129 bytes
SHA1 (patch-Makefile) = 963b7472155e5d6d3b496fa7e79c8510d5d1cae7
SHA1 (patch-libs_base_Makefile) = 6328faf1b0b94193f79d7090193b608655f99a9e
SHA1 (patch-libs_contrib_Makefile) = 66b4178aa3a6ff510e7e78dffcfec67c7ab981a4
SHA1 (patch-libs_linear_Makefile) = 910e8e8ccae3dd56692eb4494d14e1c643f7a1ed
SHA1 (patch-libs_network_Makefile) = ae9c697d05d90222649f3e4fe878d055e74775d8
SHA1 (patch-libs_prelude_Makefile) = df9125e1123ac1ff01867b0ac242b203804598e6
SHA1 (patch-libs_test_Makefile) = 5b8a0fc26b746400c281e3a82a40eb90125f1e5a
SHA1 (patch-src_Core_Context.idr) = 5b797ef07a73efa12d05be39bb5adaf8145121b9
SHA1 (patch-src_Core_Options.idr) = 49c04bf4a5f8cf55c2338762801756d7fab98f10
SHA1 (patch-src_Idris_CommandLine.idr) = 38c72ece61d17dd11db2e72d663e4f2603ccebd5
SHA1 (patch-src_Idris_Package.idr) = 0af0a15e35b67a41482d349a3f38e4e5de39caa2
SHA1 (patch-src_Idris_SetOptions.idr) = 491cd71c928cbe562c190044feddc31f43d84e1b
SHA1 (patch-support_c_Makefile) = 27b22b6fb07f151dd35cd62a92e557cf6a747830
SHA1 (patch-support_chez_Makefile) = 95e2f15bdffcea28d8974e9e88467c6ed82be980
SHA1 (patch-support_refc_Makefile) = c1571f21c3dad42ece0bd64a02ca32c7e64e6328
@


1.1
log
@lang/idris2: import idris2-0.6.0

Idris is a programming language designed to encourage Type-Driven
Development.

In type-driven development, types are tools for constructing programs. We
treat the type as the plan for a program, and use the compiler and type
checker as our assistant, guiding us to a complete program that satisfies
the type. The more expressive the type is that we give up front, the more
confidence we can have that the resulting program will be correct.

In Idris, types are first-class constructs in the langauge. This means
types can be passed as arguments to functions, and returned from functions
just like any other value, such as numbers, strings, or lists. This is a
small but powerful idea, enabling:

* relationships to be expressed between values; for example, that two lists
  have the same length.

* assumptions to be made explicit and checked by the compiler. For example,
  if you assume that a list is non-empty, Idris can ensure this assumption
  always holds before the program is run.

* if desired, properties of program behaviour to be formally stated and
  proven.
@
text
@d1 1
a1 1
$NetBSD$
d6 3
a8 3
SHA1 (patch-Makefile) = 7c92742bf4923c04b1ccf636f1c8a4b6487305ad
SHA1 (patch-libs_base_Makefile) = 49f1e858921fe1e5802fe5012f24034bbb25e83a
SHA1 (patch-libs_contrib_Makefile) = 4faac24d8997291e9c61bf39ff3b5f3031412019
d10 11
a20 11
SHA1 (patch-libs_network_Makefile) = 34fe6c8869f238b8cbad3298fbe3504eff2b9fee
SHA1 (patch-libs_prelude_Makefile) = 6d7e3e6d89b051ef34aa50ca93a9f1027373ec12
SHA1 (patch-libs_test_Makefile) = 2a9e2b0fa3ed44afa03d49a24587362d4f2587c8
SHA1 (patch-src_Core_Context.idr) = a1bb82b1f69ad08eea6c71640826fd08cf427dea
SHA1 (patch-src_Core_Options.idr) = 2ff71d86f0f7213bfbcaebf32077dc2e286b061c
SHA1 (patch-src_Idris_CommandLine.idr) = 3a613427843eb1e06eaef002b2c7c7243ed7824c
SHA1 (patch-src_Idris_Package.idr) = b8e2e540cad084f63a70a534899b99d4e37c1c5c
SHA1 (patch-src_Idris_SetOptions.idr) = b049b27a490741ab6994d55bdd4290b804b5acd0
SHA1 (patch-support_c_Makefile) = ade742b02beac3675c08765c9cb3ea696004cd57
SHA1 (patch-support_chez_Makefile) = 4797882ee4251b40e41d27eb9200b16b57d83ac5
SHA1 (patch-support_refc_Makefile) = b7bc02e30e94d239ec0f766cd7405206eef80b62
@