Debian NEW package overview for ocaml-dscheck
| ocaml-dscheck_0.5.0-1_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Sat, 12 Oct 2024 10:41:12 +0100 |
| Source: | ocaml-dscheck |
| Binary: | libdscheck-ocaml-dev libdscheck-ocaml-dev-dbgsym |
| Architecture: | source amd64 |
| Version: | 0.5.0-1 |
| Distribution: | unstable |
| Urgency: | medium |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Changed-By: | Kyle Robbertze <paddatrapper@debian.org> |
| Description: | libdscheck-ocaml-dev - model checker for testing concurrent programs |
| Changes: | ocaml-dscheck (0.5.0-1) unstable; urgency=medium * Initial release. |
| Files: | 86cc864d36dc09077c5f44fec6c299ee 2160 ocaml optional ocaml-dscheck_0.5.0-1.dsc b61577b797d7178d0b12e5a556007bee 26986 ocaml optional ocaml-dscheck_0.5.0.orig.tar.gz c659823bfd9f5c1f015f00a1a7664d02 2760 ocaml optional ocaml-dscheck_0.5.0-1.debian.tar.xz 5277dd819317c69fdfd452c76d47cfa2 11908 debug optional libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb ec6893261d35e7209c32e31bdbdc0aaa 300252 ocaml optional libdscheck-ocaml-dev_0.5.0-1_amd64.deb 060689ab310ac866212febd1e0aef8d5 6832 ocaml optional ocaml-dscheck_0.5.0-1_amd64.buildinfo |
| ocaml-dscheck_0.5.0-1.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | ocaml-dscheck |
| Binary: | libdscheck-ocaml-dev |
| Architecture: | any |
| Version: | 0.5.0-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Kyle Robbertze <paddatrapper@debian.org> |
| Homepage: | https://github.com/ocaml-multicore/dscheck |
| Standards-Version: | 4.7.0 |
| Vcs-Browser: | https://salsa.debian.org/ocaml-team/ocaml-dscheck |
| Vcs-Git: | https://salsa.debian.org/ocaml-team/ocaml-dscheck.git |
| Testsuite: | autopkgtest |
| Build-Depends: | debhelper-compat (=13), ocaml-dune (>=2.8.0), dh-ocaml (>=1.2.2), libalcotest-ocaml-dev (>=1.7.0), libcmdliner-ocaml-dev, libcontainers-ocaml-dev, liboseq-ocaml-dev, ocaml |
| Package-List: | libdscheck-ocaml-dev deb ocaml optional arch=any |
| Files: | b61577b797d7178d0b12e5a556007bee 26986 ocaml-dscheck_0.5.0.orig.tar.gz c659823bfd9f5c1f015f00a1a7664d02 2760 ocaml-dscheck_0.5.0-1.debian.tar.xz |
| control file for libdscheck-ocaml-dev_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libdscheck-ocaml-dev |
| Source: | ocaml-dscheck |
| Version: | 0.5.0-1 |
| Architecture: | amd64 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Installed-Size: | 638 |
| Depends: | libcontainers-ocaml-dev-5iq37, liboseq-ocaml-dev-z9498, libstdlib-ocaml-dev-7l663, ocaml-5.2.0 |
| Provides: | libdscheck-ocaml-dev-3tpz4 |
| Section: | ocaml |
| Priority: | optional |
| Homepage: | https://github.com/ocaml-multicore/dscheck |
| Description: | model checker for testing concurrent programs Experimental model checker for testing concurrent programs. DSCheck exploers interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions. |
| contents of libdscheck-ocaml-dev_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2024-10-12 09:41 ./ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/ -rw-r--r-- root/root 187 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/META -rw-r--r-- root/root 1422 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/atomic_op.ml -rw-r--r-- root/root 176456 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.a -rw-r--r-- root/root 81152 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cma -rw-r--r-- root/root 342 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cmi -rw-r--r-- root/root 1997 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cmt -rw-r--r-- root/root 172 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cmx -rw-r--r-- root/root 3367 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cmxa -rw-r--r-- root/root 117792 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.cmxs -rw-r--r-- root/root 270 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck.ml -rw-r--r-- root/root 768 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Atomic_op.cmi -rw-r--r-- root/root 6913 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Atomic_op.cmt -rw-r--r-- root/root 467 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Atomic_op.cmx -rw-r--r-- root/root 822 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Trace_tracker.cmi -rw-r--r-- root/root 37310 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Trace_tracker.cmt -rw-r--r-- root/root 3603 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Trace_tracker.cmti -rw-r--r-- root/root 7895 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__Trace_tracker.cmx -rw-r--r-- root/root 1068 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__TracedAtomic.cmi -rw-r--r-- root/root 113885 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__TracedAtomic.cmt -rw-r--r-- root/root 7169 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__TracedAtomic.cmti -rw-r--r-- root/root 10612 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dscheck__TracedAtomic.cmx -rw-r--r-- root/root 1828 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/dune-package -rw-r--r-- root/root 706 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/opam -rw-r--r-- root/root 3844 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/trace_tracker.ml -rw-r--r-- root/root 312 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/trace_tracker.mli -rw-r--r-- root/root 23157 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/tracedAtomic.ml -rw-r--r-- root/root 3753 2024-10-12 09:41 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/dscheck/tracedAtomic.mli drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/share/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev/ -rw-r--r-- root/root 6719 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev/README.md.gz -rw-r--r-- root/root 151 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 289 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev/changelog.gz -rw-r--r-- root/root 2698 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev/copyright drwxr-xr-x root/root 0 2024-10-12 09:41 ./var/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./var/lib/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 195 2024-10-12 09:41 ./var/lib/ocaml/lintian/libdscheck-ocaml-dev.info drwxr-xr-x root/root 0 2024-10-12 09:41 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 704 2024-10-12 09:41 ./var/lib/ocaml/md5sums/libdscheck-ocaml-dev.md5sums | |
| copyright of libdscheck-ocaml-dev_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: https://github.com/ocaml-multicore/dscheck Upstream-Name: dscheck Upstream-Contact: Sadiq Jaffer Files: * Copyright: 2022 License: ISC Files: tests/michael_scott_queue.ml Copyright: 2015 Théo Laurent <theo.laurent@ens.fr> 2015 KC Sivaramakrishnan <sk826@cl.cam.ac.uk> License: ISC Files: src/tracedAtomic.mli Copyright: 2020 Institut National de Recherche en Informatique et en Automatique License: LGPL-2.1 This software is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2.1 described in file /usr/share/common-licenses/LGPL-2.1. with the special exception on linking described below. . This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. . Linking this library statically or dynamically with other modules is making a combined work based on this library. Thus, the terms and conditions of the GNU Library General Public License cover the whole combination. . As a special exception, the copyright holders of this library give you permission to link this library with independent modules to produce an executable, regardless of the license terms of these independent modules, and to copy and distribute the resulting executable under terms of your choice, provided that you also meet, for each linked independent module, the terms and conditions of the license of that module. An independent module is a module which is not derived from or based on this library. If you modify this library, you may extend this exception to your version of the library, but you are not obliged to do so. If you do not wish to do so, delete this exception statement from your version. Files: debian/* Copyright: 2024 Kyle Robbertze <paddatrapper@debian.org> License: ISC License: ISC Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies. . THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | |
| control file for libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
| Package: | libdscheck-ocaml-dev-dbgsym |
| Source: | ocaml-dscheck |
| Version: | 0.5.0-1 |
| Auto-Built-Package: | debug-symbols |
| Architecture: | amd64 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Installed-Size: | 46 |
| Depends: | libdscheck-ocaml-dev (=0.5.0-1) |
| Section: | debug |
| Priority: | optional |
| Description: | debug symbols for libdscheck-ocaml-dev |
| Build-Ids: | b5d147a598f119a3e16bdbe00f779a22fc8a0e23 |
| contents of libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
drwxr-xr-x root/root 0 2024-10-12 09:41 ./ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/debug/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/lib/debug/.build-id/b5/ -rw-r--r-- root/root 36792 2024-10-12 09:41 ./usr/lib/debug/.build-id/b5/d147a598f119a3e16bdbe00f779a22fc8a0e23.debug drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/share/ drwxr-xr-x root/root 0 2024-10-12 09:41 ./usr/share/doc/ lrwxrwxrwx root/root 0 2024-10-12 09:41 ./usr/share/doc/libdscheck-ocaml-dev-dbgsym -> libdscheck-ocaml-dev | |
| copyright of libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb (click to toggle) | |
|---|---|
WARNING: No copyright found, please check package manually. | |
Timestamp: 13.10.2024 / 13:02:28 (UTC)