.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

pkgbase = ocaml-dscheck
	pkgdesc = Experimental model checker for testing concurrent algorithms
	pkgver = 0.5.0
	pkgrel = 1
	url = https://github.com/ocaml-multicore/dscheck
	arch = x86_64
	arch = aarch64
	license = ISC
	checkdepends = ocaml-alcotest>=1.6.0
	makedepends = dune>=3.9.0
	depends = ocaml>=4.12.0
	depends = ocaml-cmdliner
	depends = ocaml-containers
	depends = ocaml-oseq
	depends = ocaml-tsort
	options = !strip
	source = ocaml-dscheck-0.5.0.tar.gz::https://github.com/ocaml-multicore/dscheck/archive/0.5.0.tar.gz
	b2sums = 2f267b58bab1085ba05b23056e3551f3afa9f6f9ca0995adb8893ff05b7005fc88a582a18f96d1f86212f62744af41590ba56918feb06d01f8d71381a588d7d8

pkgname = ocaml-dscheck