Debian NEW package overview for elpi
elpi_1.13.7-2_amd64.changes (click to toggle)
Format:1.8
Date:Wed, 10 Nov 2021 18:46:46 +0100
Source:elpi
Binary:elpi elpi-dbgsym libelpi-ocaml libelpi-ocaml-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym
Architecture:source amd64
Version:1.13.7-2
Distribution:unstable
Urgency:medium
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By:Julien Puydt <jpuydt@debian.org>
Description:
elpi       - embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml - embeddable lambda-Prolog interpreter (runtime files)
libelpi-ocaml-dev - embeddable lambda-Prolog interpreter (dev files)
Changes:
elpi (1.13.7-2) unstable; urgency=medium

  * Better packaging.
Files:
476077d523040f803fc02662dd24a737 2108 ocaml optional elpi_1.13.7-2.dsc
e7eb65c5ac990a99c548de5a09ee46a6 3072 ocaml optional elpi_1.13.7-2.debian.tar.xz
2dc64ab36b93d276535a958da27277bf 249228 debug optional elpi-dbgsym_1.13.7-2_amd64.deb
c887285f584bb0529d1e0c4d794397fc 8858 ocaml optional elpi_1.13.7-2_amd64.buildinfo
8545b5ca9e2483d31132609bd8cca737 1003136 ocaml optional elpi_1.13.7-2_amd64.deb
c18737dd1c3fbea6f8c7b18f947ff534 122568 debug optional libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb
c5bb92fb86d142771664ef13f88c9721 949688 debug optional libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb
ad85194b816b9e3dabe98bed6deb7179 7124652 ocaml optional libelpi-ocaml-dev_1.13.7-2_amd64.deb
a8c566b5d80f23326691ae8c67872ff6 1905104 ocaml optional libelpi-ocaml_1.13.7-2_amd64.deb
elpi_1.13.7-2.dsc (click to toggle)
Format:3.0 (quilt)
Source:elpi
Binary:libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture:any
Version:1.13.7-2
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:Julien Puydt <jpuydt@debian.org>
Homepage:https://github.com/LPCIC/elpi
Standards-Version:4.6.0
Vcs-Browser:https://salsa.debian.org/ocaml-team/elpi
Vcs-Git:https://salsa.debian.org/ocaml-team/elpi.git
Build-Depends:camlp5, debhelper-compat (=13), dh-ocaml, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, ocaml-dune
Package-List:elpi deb ocaml optional arch=any libelpi-ocaml deb ocaml optional arch=any libelpi-ocaml-dev deb ocaml optional arch=any
Files:
b0faed4758273877f07ca5ba122b2c8c 1538946 elpi_1.13.7.orig.tar.gz
e7eb65c5ac990a99c548de5a09ee46a6 3072 elpi_1.13.7-2.debian.tar.xz
lintian 2.94.0~bpo10+1 check for elpi_1.13.7-2.dsc (click to toggle)
README.source for elpi_1.13.7-2.dsc (click to toggle)
No README.source in this package
control file for elpi_1.13.7-2_amd64.deb (click to toggle)
Package:elpi
Version:1.13.7-2
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:4026
Depends:libc6 (>=2.29), libelpi-ocaml (=1.13.7-2)
Section:ocaml
Priority:optional
Homepage:https://github.com/LPCIC/elpi
Description:
embeddable lambda-Prolog interpreter (tool)
 ELPI implements a lambda-Prolog interpreter enriched with
 constraint handling rules, to provide an extension language
 to larger applications written in OCaml.
 .
 This package provides the command-line tool.
lintian 2.94.0~bpo10+1 check for elpi_1.13.7-2_amd64.deb (click to toggle)
contents of elpi_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/bin/
-rwxr-xr-x root/root   4098792 2021-11-10 17:46 ./usr/bin/elpi
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/elpi/
-rw-r--r-- root/root       203 2021-11-10 17:46 ./usr/share/doc/elpi/changelog.Debian.gz
-rw-r--r-- root/root      9254 2021-11-10 17:46 ./usr/share/doc/elpi/changelog.gz
-rw-r--r-- root/root      1173 2021-11-10 17:46 ./usr/share/doc/elpi/copyright
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/man/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/man/man1/
-rw-r--r-- root/root      1020 2021-11-10 17:46 ./usr/share/man/man1/elpi.1.gz
control file for elpi-dbgsym_1.13.7-2_amd64.deb (click to toggle)
Package:elpi-dbgsym
Source:elpi
Version:1.13.7-2
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:990
Depends:elpi (=1.13.7-2)
Section:debug
Priority:optional
Description:
debug symbols for elpi
Build-Ids:26e6fde32c7c864622e0a4ed3b77f2ca11a16b97
lintian 2.94.0~bpo10+1 check for elpi-dbgsym_1.13.7-2_amd64.deb (click to toggle)
contents of elpi-dbgsym_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/26/
-rw-r--r-- root/root   1002728 2021-11-10 17:46 ./usr/lib/debug/.build-id/26/e6fde32c7c864622e0a4ed3b77f2ca11a16b97.debug
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
lrwxrwxrwx root/root         0 2021-11-10 17:46 ./usr/share/doc/elpi-dbgsym -> elpi
control file for libelpi-ocaml_1.13.7-2_amd64.deb (click to toggle)
Package:libelpi-ocaml
Source:elpi
Version:1.13.7-2
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:7917
Depends:libmigrate-parsetree-ocaml-n2039, libppx-deriving-ocaml-o5p13, libsexplib0-ocaml-drlz0, ocaml-base-nox-4.11.1
Recommends:ocaml-findlib
Provides:libelpi-ocaml-2blc3
Section:ocaml
Priority:optional
Homepage:https://github.com/LPCIC/elpi
Description:
embeddable lambda-Prolog interpreter (runtime files)
 ELPI implements a lambda-Prolog interpreter enriched with
 constraint handling rules, to provide an extension language
 to larger applications written in OCaml.
 .
 This package provides the runtime files.
lintian 2.94.0~bpo10+1 check for libelpi-ocaml_1.13.7-2_amd64.deb (click to toggle)
contents of libelpi-ocaml_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/
-rw-r--r-- root/root      1192 2021-11-10 17:46 ./usr/lib/ocaml/elpi/META
-rw-r--r-- root/root   5402152 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cma
-rw-r--r-- root/root   2267664 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cmxs
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/
-rw-r--r-- root/root    149990 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cma
-rw-r--r-- root/root     85976 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxs
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/
-rw-r--r-- root/root    101477 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cma
-rw-r--r-- root/root     69152 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxs
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml/
-rw-r--r-- root/root       203 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml/changelog.Debian.gz
-rw-r--r-- root/root      9254 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml/changelog.gz
-rw-r--r-- root/root      1173 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml/copyright
control file for libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb (click to toggle)
Package:libelpi-ocaml-dbgsym
Source:elpi
Version:1.13.7-2
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:553
Depends:libelpi-ocaml (=1.13.7-2)
Section:debug
Priority:optional
Description:
debug symbols for libelpi-ocaml
Build-Ids:5be4746e236386049fcbc0cf94277f5274430028 93e4f80321bd85b20a153876f1506992fd0ffd00 dbe490cc1a413ee58da1f61474753187b06f8199
lintian 2.94.0~bpo10+1 check for libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb (click to toggle)
contents of libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/5b/
-rw-r--r-- root/root    503656 2021-11-10 17:46 ./usr/lib/debug/.build-id/5b/e4746e236386049fcbc0cf94277f5274430028.debug
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/93/
-rw-r--r-- root/root     22040 2021-11-10 17:46 ./usr/lib/debug/.build-id/93/e4f80321bd85b20a153876f1506992fd0ffd00.debug
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/db/
-rw-r--r-- root/root     27576 2021-11-10 17:46 ./usr/lib/debug/.build-id/db/e490cc1a413ee58da1f61474753187b06f8199.debug
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
lrwxrwxrwx root/root         0 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dbgsym -> libelpi-ocaml
control file for libelpi-ocaml-dev_1.13.7-2_amd64.deb (click to toggle)
Package:libelpi-ocaml-dev
Source:elpi
Version:1.13.7-2
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:32795
Depends:camlp5-2o8n6, libelpi-ocaml-2blc3, libmigrate-parsetree-ocaml-dev-n2039, libocaml-compiler-libs-ocaml-dev-fq7f0, libppx-deriving-ocaml-dev-o5p13, libppxlib-ocaml-dev-age97, libre-ocaml-dev-a2tg9, libsexplib0-ocaml-dev-drlz0, ocaml-nox-4.11.1, libc6 (>=2.29)
Recommends:ocaml-findlib
Provides:libelpi-ocaml-dev-2blc3
Section:ocaml
Priority:optional
Homepage:https://github.com/LPCIC/elpi
Description:
embeddable lambda-Prolog interpreter (dev files)
 ELPI implements a lambda-Prolog interpreter enriched with
 constraint handling rules, to provide an extension language
 to larger applications written in OCaml.
 .
 This package provides the dev files.
lintian 2.94.0~bpo10+1 check for libelpi-ocaml-dev_1.13.7-2_amd64.deb (click to toggle)
contents of libelpi-ocaml-dev_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/
-rw-r--r-- root/root     28191 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Ast.cmi
-rw-r--r-- root/root       308 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmi
-rw-r--r-- root/root       308 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmi
-rw-r--r-- root/root       317 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmi
-rw-r--r-- root/root      7634 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Compiler.cmi
-rw-r--r-- root/root     75575 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Data.cmi
-rw-r--r-- root/root      3442 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Parser.cmi
-rw-r--r-- root/root      3213 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmi
-rw-r--r-- root/root      7940 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmi
-rw-r--r-- root/root      7937 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_on.cmi
-rw-r--r-- root/root     94245 2021-11-10 17:46 ./usr/lib/ocaml/elpi/.private/elpi__Util.cmi
-rw-r--r-- root/root     31546 2021-11-10 17:46 ./usr/lib/ocaml/elpi/API.ml
-rw-r--r-- root/root     40944 2021-11-10 17:46 ./usr/lib/ocaml/elpi/API.mli
-rw-r--r-- root/root      7457 2021-11-10 17:46 ./usr/lib/ocaml/elpi/ast.ml
-rw-r--r-- root/root      4584 2021-11-10 17:46 ./usr/lib/ocaml/elpi/ast.mli
-rw-r--r-- root/root     38030 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin.elpi
-rw-r--r-- root/root     51960 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin.ml
-rw-r--r-- root/root      2574 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin.mli
-rw-r--r-- root/root     12926 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin_checker.ml
-rw-r--r-- root/root      3817 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin_map.ml
-rw-r--r-- root/root      3564 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin_set.ml
-rw-r--r-- root/root      9394 2021-11-10 17:46 ./usr/lib/ocaml/elpi/builtin_stdlib.ml
-rw-r--r-- root/root     97134 2021-11-10 17:46 ./usr/lib/ocaml/elpi/compiler.ml
-rw-r--r-- root/root      2710 2021-11-10 17:46 ./usr/lib/ocaml/elpi/compiler.mli
-rw-r--r-- root/root     42523 2021-11-10 17:46 ./usr/lib/ocaml/elpi/data.ml
-rw-r--r-- root/root      3058 2021-11-10 17:46 ./usr/lib/ocaml/elpi/dune-package
-rw-r--r-- root/root       757 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi-quoted_syntax.elpi
-rw-r--r-- root/root   3293750 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.a
-rw-r--r-- root/root       380 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cmi
-rw-r--r-- root/root      3182 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cmt
-rw-r--r-- root/root       193 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cmx
-rw-r--r-- root/root     15950 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.cmxa
-rw-r--r-- root/root        82 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi.ml
-rw-r--r-- root/root     11992 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi2html.elpi
-rw-r--r-- root/root      1275 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__.cmi
-rw-r--r-- root/root      7605 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__.cmt
-rw-r--r-- root/root       360 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__.cmx
-rw-r--r-- root/root       959 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__.ml
-rw-r--r-- root/root     95741 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__API.cmi
-rw-r--r-- root/root    611801 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__API.cmt
-rw-r--r-- root/root    340610 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__API.cmti
-rw-r--r-- root/root      1863 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__API.cmx
-rw-r--r-- root/root    583393 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ast.cmt
-rw-r--r-- root/root     89473 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ast.cmti
-rw-r--r-- root/root       840 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ast.cmx
-rw-r--r-- root/root      4078 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin.cmi
-rw-r--r-- root/root    782137 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin.cmt
-rw-r--r-- root/root     31771 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin.cmti
-rw-r--r-- root/root      2319 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin.cmx
-rw-r--r-- root/root       320 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_checker.cmi
-rw-r--r-- root/root     15769 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_checker.cmt
-rw-r--r-- root/root       210 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_checker.cmx
-rw-r--r-- root/root      6634 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_map.cmt
-rw-r--r-- root/root       206 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_map.cmx
-rw-r--r-- root/root      6381 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_set.cmt
-rw-r--r-- root/root       206 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_set.cmx
-rw-r--r-- root/root     12231 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_stdlib.cmt
-rw-r--r-- root/root       209 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Builtin_stdlib.cmx
-rw-r--r-- root/root   1792089 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Compiler.cmt
-rw-r--r-- root/root     29976 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Compiler.cmti
-rw-r--r-- root/root      1329 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Compiler.cmx
-rw-r--r-- root/root   1244724 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Data.cmt
-rw-r--r-- root/root       975 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Data.cmx
-rw-r--r-- root/root   1080755 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Parser.cmt
-rw-r--r-- root/root     14373 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Parser.cmti
-rw-r--r-- root/root      2123 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Parser.cmx
-rw-r--r-- root/root     91276 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ptmap.cmt
-rw-r--r-- root/root     17842 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ptmap.cmti
-rw-r--r-- root/root       835 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Ptmap.cmx
-rw-r--r-- root/root   2260145 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmt
-rw-r--r-- root/root     34949 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmti
-rw-r--r-- root/root      1491 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmx
-rw-r--r-- root/root   2827781 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_on.cmt
-rw-r--r-- root/root     34942 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_on.cmti
-rw-r--r-- root/root      1609 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Runtime_trace_on.cmx
-rw-r--r-- root/root    450460 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Util.cmt
-rw-r--r-- root/root    259124 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Util.cmti
-rw-r--r-- root/root      1596 2021-11-10 17:46 ./usr/lib/ocaml/elpi/elpi__Util.cmx
-rw-r--r-- root/root      3326 2021-11-10 17:46 ./usr/lib/ocaml/elpi/opam
-rw-r--r-- root/root     35824 2021-11-10 17:46 ./usr/lib/ocaml/elpi/parser.ml
-rw-r--r-- root/root      1604 2021-11-10 17:46 ./usr/lib/ocaml/elpi/parser.mli
-rw-r--r-- root/root      6941 2021-11-10 17:46 ./usr/lib/ocaml/elpi/ptmap.ml
-rw-r--r-- root/root      2806 2021-11-10 17:46 ./usr/lib/ocaml/elpi/ptmap.mli
-rw-r--r-- root/root    142950 2021-11-10 17:46 ./usr/lib/ocaml/elpi/runtime_trace_off.ml
-rw-r--r-- root/root      2708 2021-11-10 17:46 ./usr/lib/ocaml/elpi/runtime_trace_off.mli
-rw-r--r-- root/root    142950 2021-11-10 17:46 ./usr/lib/ocaml/elpi/runtime_trace_on.ml
-rw-r--r-- root/root      2708 2021-11-10 17:46 ./usr/lib/ocaml/elpi/runtime_trace_on.mli
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/
-rwxr-xr-x root/root  15677264 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/ppx.exe
-rw-r--r-- root/root     88496 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.a
-rw-r--r-- root/root      9056 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmi
-rw-r--r-- root/root    333408 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmt
-rw-r--r-- root/root      4627 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmx
-rw-r--r-- root/root      4634 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxa
-rw-r--r-- root/root     12181 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/ppx/trace_ppx.ml
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/
-rw-r--r-- root/root     12616 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/runtime.ml
-rw-r--r-- root/root      1022 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/runtime.mli
-rw-r--r-- root/root     83288 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.a
-rw-r--r-- root/root       271 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmi
-rw-r--r-- root/root      2654 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmt
-rw-r--r-- root/root       137 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmx
-rw-r--r-- root/root      1419 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxa
-rw-r--r-- root/root        88 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.ml
-rw-r--r-- root/root      2392 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi
-rw-r--r-- root/root    203820 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt
-rw-r--r-- root/root     11028 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti
-rw-r--r-- root/root      1304 2021-11-10 17:46 ./usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx
-rw-r--r-- root/root     19985 2021-11-10 17:46 ./usr/lib/ocaml/elpi/util.ml
-rw-r--r-- root/root      7883 2021-11-10 17:46 ./usr/lib/ocaml/elpi/util.mli
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/
-rw-r--r-- root/root      9707 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/LICENSE.gz
-rw-r--r-- root/root      3313 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/README.md.gz
-rw-r--r-- root/root       203 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root      9254 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/changelog.gz
-rw-r--r-- root/root      1173 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev/copyright
drwxr-xr-x root/root         0 2021-11-10 17:46 ./var/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./var/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root      1192 2021-11-10 17:46 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi
-rw-r--r-- root/root       446 2021-11-10 17:46 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.info
drwxr-xr-x root/root         0 2021-11-10 17:46 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root      3618 2021-11-10 17:46 ./var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums
control file for libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb (click to toggle)
Package:libelpi-ocaml-dev-dbgsym
Source:elpi
Version:1.13.7-2
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size:3757
Depends:libelpi-ocaml-dev (=1.13.7-2)
Section:debug
Priority:optional
Description:
debug symbols for libelpi-ocaml-dev
Build-Ids:f682e5712e919f64ee8ecdb687208deddf79db2b
lintian 2.94.0~bpo10+1 check for libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb (click to toggle)
contents of libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2021-11-10 17:46 ./
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/lib/debug/.build-id/f6/
-rw-r--r-- root/root   3836128 2021-11-10 17:46 ./usr/lib/debug/.build-id/f6/82e5712e919f64ee8ecdb687208deddf79db2b.debug
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/
drwxr-xr-x root/root         0 2021-11-10 17:46 ./usr/share/doc/
lrwxrwxrwx root/root         0 2021-11-10 17:46 ./usr/share/doc/libelpi-ocaml-dev-dbgsym -> libelpi-ocaml-dev

Timestamp: 10.11.2021 / 19:01:16 (UTC)