Debian NEW package overview for haskell-copilot-language
haskell-copilot-language_3.10-1_amd64.changes (click to toggle)
Format:1.8
Date:Mon, 12 Sep 2022 19:37:05 -0400
Source:haskell-copilot-language
Binary:libghc-copilot-language-dev libghc-copilot-language-doc libghc-copilot-language-prof
Architecture:source amd64 all
Version:3.10-1
Distribution:unstable
Urgency:low
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By:Scott Talbert <swt@techie.net>
Description:
libghc-copilot-language-dev -
libghc-copilot-language-doc -
libghc-copilot-language-prof -
Changes:
haskell-copilot-language (3.10-1) unstable; urgency=low

  * Initial release
Files:
a47798979e5094e89391ab8af20188a2 3226 haskell optional haskell-copilot-language_3.10-1.dsc
e4b6ef99943669cce741dc1da17153a0 26235 haskell optional haskell-copilot-language_3.10.orig.tar.gz
1aec1289a7b2acece694c21a037bdecd 2404 haskell optional haskell-copilot-language_3.10-1.debian.tar.xz
bcdfc80cb3a78362c1f5ba658c0a02a2 16479 haskell optional haskell-copilot-language_3.10-1_amd64.buildinfo
01b0adc21010641dc0e6b76c8515ae3f 171956 haskell optional libghc-copilot-language-dev_3.10-1_amd64.deb
07b5c2e428ce7ddfe6441a505fab71e0 227696 doc optional libghc-copilot-language-doc_3.10-1_all.deb
e0e8a7c89f81e93fb59f4a482c386a32 156628 haskell optional libghc-copilot-language-prof_3.10-1_amd64.deb
haskell-copilot-language_3.10-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:haskell-copilot-language
Binary:libghc-copilot-language-dev, libghc-copilot-language-prof, libghc-copilot-language-doc
Architecture:any all
Version:3.10-1
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:Scott Talbert <swt@techie.net>
Homepage:https://copilot-language.github.io
Standards-Version:4.6.1
Vcs-Browser:https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-language
Vcs-Git:https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-language]
Build-Depends:debhelper (>=10), haskell-devscripts-minimal | haskell-devscripts (>=0.13), cdbs, ghc, ghc-prof, libghc-copilot-core-dev (>=3.10), libghc-copilot-core-dev (<<3.11), libghc-copilot-core-prof, libghc-copilot-theorem-dev (>=3.10), libghc-copilot-theorem-dev (<<3.11), libghc-copilot-theorem-prof, libghc-data-reify-dev (>=0.6), libghc-data-reify-dev (<<0.7), libghc-data-reify-prof, libghc-hunit-dev, libghc-hunit-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-test-framework-dev, libghc-test-framework-prof, libghc-test-framework-hunit-dev, libghc-test-framework-hunit-prof, libghc-test-framework-quickcheck2-dev, libghc-test-framework-quickcheck2-prof
Build-Depends-Indep:ghc-doc, libghc-copilot-core-doc, libghc-copilot-theorem-doc, libghc-data-reify-doc, libghc-hunit-doc, libghc-quickcheck2-doc, libghc-test-framework-doc, libghc-test-framework-hunit-doc, libghc-test-framework-quickcheck2-doc
Package-List:libghc-copilot-language-dev deb haskell optional arch=any libghc-copilot-language-doc deb doc optional arch=all libghc-copilot-language-prof deb haskell optional arch=any
Files:
e4b6ef99943669cce741dc1da17153a0 26235 haskell-copilot-language_3.10.orig.tar.gz
1aec1289a7b2acece694c21a037bdecd 2404 haskell-copilot-language_3.10-1.debian.tar.xz
lintian 2.104.0 check for haskell-copilot-language_3.10-1.dsc (click to toggle)
README.source for haskell-copilot-language_3.10-1.dsc (click to toggle)
No README.source in this package
control file for libghc-copilot-language-dev_3.10-1_amd64.deb (click to toggle)
Package:libghc-copilot-language-dev
Source:haskell-copilot-language
Version:3.10-1
Architecture:amd64
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size:1617
Depends:libghc-array-dev-0.5.4.0-59f53, libghc-base-dev-4.15.1.0-35e3f, libghc-containers-dev-0.6.4.1-6bf65, libghc-copilot-core-dev-3.10-5291d, libghc-copilot-theorem-dev-3.10-d0d37, libghc-data-reify-dev-0.6.3-5c271, libghc-mtl-dev-2.2.2-683f2, libc6 (>=2.2.5), libgmp10 (>=2:6.2.1+dfsg1), zlib1g (>=1:1.1.4)
Provides:libghc-copilot-language-dev-3.10-e855f
Section:haskell
Priority:optional
Homepage:https://copilot-language.github.io
Description:
DSL for monitoring hard real-time distributed systems.
 The concrete syntax for Copilot.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package:copilot-language-3.10-1pd9PjKvh6BEC0uONplcit
lintian 2.104.0 check for libghc-copilot-language-dev_3.10-1_amd64.deb (click to toggle)
contents of libghc-copilot-language-dev_3.10-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2022-09-12 23:37 ./
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/
-rw-r--r-- root/root     14232 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Analyze.dyn_hi
-rw-r--r-- root/root     14229 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Analyze.hi
-rw-r--r-- root/root      1306 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Error.dyn_hi
-rw-r--r-- root/root      1303 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Error.hi
-rw-r--r-- root/root      4444 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Interpret.dyn_hi
-rw-r--r-- root/root      4441 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Interpret.hi
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/
-rw-r--r-- root/root      3778 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Array.dyn_hi
-rw-r--r-- root/root      3775 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Array.hi
-rw-r--r-- root/root     13988 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/BitWise.dyn_hi
-rw-r--r-- root/root     13985 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/BitWise.hi
-rw-r--r-- root/root      4695 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Boolean.dyn_hi
-rw-r--r-- root/root      4692 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Boolean.hi
-rw-r--r-- root/root     55945 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Cast.dyn_hi
-rw-r--r-- root/root     55942 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Cast.hi
-rw-r--r-- root/root      3702 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Constant.dyn_hi
-rw-r--r-- root/root      3699 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Constant.hi
-rw-r--r-- root/root      2965 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Eq.dyn_hi
-rw-r--r-- root/root      2962 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Eq.hi
-rw-r--r-- root/root      4827 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Extern.dyn_hi
-rw-r--r-- root/root      4824 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Extern.hi
-rw-r--r-- root/root      4942 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Integral.dyn_hi
-rw-r--r-- root/root      4939 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Integral.hi
-rw-r--r-- root/root      1872 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Label.dyn_hi
-rw-r--r-- root/root      1869 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Label.hi
-rw-r--r-- root/root      2023 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Local.dyn_hi
-rw-r--r-- root/root      2020 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Local.hi
-rw-r--r-- root/root      2449 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Mux.dyn_hi
-rw-r--r-- root/root      2446 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Mux.hi
-rw-r--r-- root/root      4182 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Ord.dyn_hi
-rw-r--r-- root/root      4179 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Ord.hi
-rw-r--r-- root/root      3570 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Propositional.dyn_hi
-rw-r--r-- root/root      3567 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Propositional.hi
-rw-r--r-- root/root      2318 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Struct.dyn_hi
-rw-r--r-- root/root      2315 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Struct.hi
-rw-r--r-- root/root      2510 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Temporal.dyn_hi
-rw-r--r-- root/root      2507 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Temporal.hi
-rw-r--r-- root/root      4306 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Prelude.dyn_hi
-rw-r--r-- root/root      4303 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Prelude.hi
-rw-r--r-- root/root      4469 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Reify.dyn_hi
-rw-r--r-- root/root      4466 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Reify.hi
-rw-r--r-- root/root     12058 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Spec.dyn_hi
-rw-r--r-- root/root     12055 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Spec.hi
-rw-r--r-- root/root     22023 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Stream.dyn_hi
-rw-r--r-- root/root     22020 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Stream.hi
-rw-r--r-- root/root     11657 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language.dyn_hi
-rw-r--r-- root/root     11654 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language.hi
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/
-rw-r--r-- root/root      3325 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Dynamic.dyn_hi
-rw-r--r-- root/root      3322 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Dynamic.hi
-rw-r--r-- root/root     10273 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Map.dyn_hi
-rw-r--r-- root/root     10270 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Map.hi
-rw-r--r-- root/root    724784 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/libHScopilot-language-3.10-1pd9PjKvh6BEC0uONplcit.a
-rw-r--r-- root/root    467160 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-language-3.10-1pd9PjKvh6BEC0uONplcit-ghc9.0.2.so
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-dev/
-rw-r--r-- root/root      4881 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-dev/buildinfo_amd64.gz
-rw-r--r-- root/root       148 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-dev/changelog.Debian.gz
-rw-r--r-- root/root       842 2022-07-07 16:57 ./usr/share/doc/libghc-copilot-language-dev/changelog.gz
-rw-r--r-- root/root      1925 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-dev/copyright
drwxr-xr-x root/root         0 2022-09-12 23:37 ./var/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./var/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./var/lib/ghc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./var/lib/ghc/package.conf.d/
-rw-r--r-- root/root      2803 2022-09-12 23:37 ./var/lib/ghc/package.conf.d/copilot-language-3.10.conf
control file for libghc-copilot-language-doc_3.10-1_all.deb (click to toggle)
Package:libghc-copilot-language-doc
Source:haskell-copilot-language
Version:3.10-1
Architecture:all
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size:5758
Depends:haddock-interface-38
Recommends:ghc-doc, libghc-copilot-core-doc, libghc-copilot-language-dev, libghc-copilot-theorem-doc, libjs-mathjax
Suggests:libghc-copilot-language-prof
Section:doc
Priority:optional
Homepage:https://copilot-language.github.io
Description:
DSL for monitoring hard real-time distributed systems.; documentation
 The concrete syntax for Copilot.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.
lintian 2.104.0 check for libghc-copilot-language-doc_3.10-1_all.deb (click to toggle)
contents of libghc-copilot-language-doc_3.10-1_all.deb (click to toggle)
drwxr-xr-x root/root         0 2022-09-12 23:37 ./
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/ghc-doc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/ghc-doc/haddock/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/ghc-doc/haddock/copilot-language-3.10/
-rw-r--r-- root/root     42375 2022-09-12 23:37 ./usr/lib/ghc-doc/haddock/copilot-language-3.10/copilot-language.haddock
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/ghc-doc/hoogle/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/
-rw-r--r-- root/root      4881 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/buildinfo_all.gz
-rw-r--r-- root/root       148 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/changelog.Debian.gz
-rw-r--r-- root/root       842 2022-07-07 16:57 ./usr/share/doc/libghc-copilot-language-doc/changelog.gz
-rw-r--r-- root/root      1925 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/copyright
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/
-rw-r--r-- root/root      4893 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Array.html
-rw-r--r-- root/root    200885 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-BitWise.html
-rw-r--r-- root/root     11054 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Boolean.html
-rw-r--r-- root/root    117225 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Cast.html
-rw-r--r-- root/root     14766 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Constant.html
-rw-r--r-- root/root      4988 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Eq.html
-rw-r--r-- root/root     22765 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Extern.html
-rw-r--r-- root/root      6647 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Integral.html
-rw-r--r-- root/root      3312 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Label.html
-rw-r--r-- root/root      3897 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Local.html
-rw-r--r-- root/root      5192 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Mux.html
-rw-r--r-- root/root      8415 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Ord.html
-rw-r--r-- root/root      2366 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Propositional.html
-rw-r--r-- root/root      4211 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Struct.html
-rw-r--r-- root/root      4450 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Temporal.html
-rw-r--r-- root/root   3401597 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Prelude.html
-rw-r--r-- root/root      2810 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Reify.html
-rw-r--r-- root/root     28777 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Spec.html
-rw-r--r-- root/root     54070 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Stream.html
-rw-r--r-- root/root    321177 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language.html
-rw-r--r-- root/root    136580 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/copilot-language.txt
-rw-r--r-- root/root      3222 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-124.html
-rw-r--r-- root/root      3212 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-35.html
-rw-r--r-- root/root      3371 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-36.html
-rw-r--r-- root/root      3236 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-38.html
-rw-r--r-- root/root      3560 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-42.html
-rw-r--r-- root/root      3404 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-43.html
-rw-r--r-- root/root      3185 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-45.html
-rw-r--r-- root/root      4496 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-46.html
-rw-r--r-- root/root      3386 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-47.html
-rw-r--r-- root/root      4383 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-60.html
-rw-r--r-- root/root      3626 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-61.html
-rw-r--r-- root/root      3808 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-62.html
-rw-r--r-- root/root      3404 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-94.html
-rw-r--r-- root/root      7109 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-A.html
-rw-r--r-- root/root     74588 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-All.html
-rw-r--r-- root/root      4644 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-B.html
-rw-r--r-- root/root      8358 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-C.html
-rw-r--r-- root/root      4516 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-D.html
-rw-r--r-- root/root      9611 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-E.html
-rw-r--r-- root/root      9225 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-F.html
-rw-r--r-- root/root      3944 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-G.html
-rw-r--r-- root/root      3188 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-H.html
-rw-r--r-- root/root      7621 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-I.html
-rw-r--r-- root/root      3188 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-J.html
-rw-r--r-- root/root      5600 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-L.html
-rw-r--r-- root/root      6243 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-M.html
-rw-r--r-- root/root      4570 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-N.html
-rw-r--r-- root/root      5240 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-O.html
-rw-r--r-- root/root      5828 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-P.html
-rw-r--r-- root/root      3378 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-Q.html
-rw-r--r-- root/root      7675 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-R.html
-rw-r--r-- root/root     10943 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-S.html
-rw-r--r-- root/root      7142 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-T.html
-rw-r--r-- root/root      5240 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-U.html
-rw-r--r-- root/root      3389 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-V.html
-rw-r--r-- root/root      4467 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-W.html
-rw-r--r-- root/root      3216 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-X.html
-rw-r--r-- root/root      3752 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index-Z.html
-rw-r--r-- root/root      2931 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/doc-index.html
-rw-r--r-- root/root     36247 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/haddock-bundle.min.js
-rw-r--r-- root/root      5626 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/index.html
-rw-r--r-- root/root     14265 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/linuwial.css
-rw-r--r-- root/root        28 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/meta.json
-rw-r--r-- root/root      3443 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/quick-jump.css
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/
-rw-r--r-- root/root    218670 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Analyze.html
-rw-r--r-- root/root      9483 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Error.html
-rw-r--r-- root/root     13763 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Interpret.html
-rw-r--r-- root/root     12016 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Array.html
-rw-r--r-- root/root     29908 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.BitWise.html
-rw-r--r-- root/root     32969 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Boolean.html
-rw-r--r-- root/root    125409 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Cast.html
-rw-r--r-- root/root     25021 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Constant.html
-rw-r--r-- root/root     16117 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Eq.html
-rw-r--r-- root/root     36009 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Extern.html
-rw-r--r-- root/root     36979 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Integral.html
-rw-r--r-- root/root      5407 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Label.html
-rw-r--r-- root/root      7186 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Local.html
-rw-r--r-- root/root     13508 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Mux.html
-rw-r--r-- root/root     29884 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Ord.html
-rw-r--r-- root/root     10684 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Propositional.html
-rw-r--r-- root/root      9036 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Struct.html
-rw-r--r-- root/root     14556 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Temporal.html
-rw-r--r-- root/root      7358 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Prelude.html
-rw-r--r-- root/root    145621 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Reify.html
-rw-r--r-- root/root     73302 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Spec.html
-rw-r--r-- root/root    105177 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Stream.html
-rw-r--r-- root/root     20483 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.html
-rw-r--r-- root/root     11659 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/System.Mem.StableName.Dynamic.html
-rw-r--r-- root/root     68012 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/System.Mem.StableName.Map.html
-rw-r--r-- root/root       567 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/highlight.js
-rw-r--r-- root/root      1433 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/src/style.css
-rw-r--r-- root/root     11327 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-doc/html/synopsis.png
lrwxrwxrwx root/root         0 2022-09-12 23:37 ./usr/lib/ghc-doc/hoogle/libghc-copilot-language-doc.txt -> ../../../share/doc/libghc-copilot-language-doc/html/copilot-language.txt
control file for libghc-copilot-language-prof_3.10-1_amd64.deb (click to toggle)
Package:libghc-copilot-language-prof
Source:haskell-copilot-language
Version:3.10-1
Architecture:amd64
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size:1458
Depends:libghc-array-prof-0.5.4.0-59f53, libghc-base-prof-4.15.1.0-35e3f, libghc-containers-prof-0.6.4.1-6bf65, libghc-copilot-core-prof-3.10-5291d, libghc-copilot-language-dev (=3.10-1), libghc-copilot-theorem-prof-3.10-d0d37, libghc-data-reify-prof-0.6.3-5c271, libghc-mtl-prof-2.2.2-683f2
Provides:libghc-copilot-language-prof-3.10-e855f
Section:haskell
Priority:optional
Homepage:https://copilot-language.github.io
Description:
DSL for monitoring hard real-time distributed systems.; profiling libraries
 The concrete syntax for Copilot.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
lintian 2.104.0 check for libghc-copilot-language-prof_3.10-1_amd64.deb (click to toggle)
contents of libghc-copilot-language-prof_3.10-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2022-09-12 23:37 ./
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/
-rw-r--r-- root/root     13635 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Analyze.p_hi
-rw-r--r-- root/root      1725 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Error.p_hi
-rw-r--r-- root/root      3702 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Interpret.p_hi
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/
-rw-r--r-- root/root      3803 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Array.p_hi
-rw-r--r-- root/root     14248 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/BitWise.p_hi
-rw-r--r-- root/root      4720 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Boolean.p_hi
-rw-r--r-- root/root     55960 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Cast.p_hi
-rw-r--r-- root/root      3790 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Constant.p_hi
-rw-r--r-- root/root      2983 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Eq.p_hi
-rw-r--r-- root/root      4868 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Extern.p_hi
-rw-r--r-- root/root      4962 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Integral.p_hi
-rw-r--r-- root/root      1872 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Label.p_hi
-rw-r--r-- root/root      2035 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Local.p_hi
-rw-r--r-- root/root      2508 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Mux.p_hi
-rw-r--r-- root/root      4225 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Ord.p_hi
-rw-r--r-- root/root      3571 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Propositional.p_hi
-rw-r--r-- root/root      2362 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Struct.p_hi
-rw-r--r-- root/root      2517 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Operators/Temporal.p_hi
-rw-r--r-- root/root      4302 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Prelude.p_hi
-rw-r--r-- root/root      3901 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Reify.p_hi
-rw-r--r-- root/root     12172 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Spec.p_hi
-rw-r--r-- root/root     22208 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language/Stream.p_hi
-rw-r--r-- root/root     11441 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/Copilot/Language.p_hi
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/
-rw-r--r-- root/root      3342 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Dynamic.p_hi
-rw-r--r-- root/root     13029 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/System/Mem/StableName/Map.p_hi
-rw-r--r-- root/root   1250874 2022-09-12 23:37 ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-language-3.10-1pd9PjKvh6BEC0uONplcit/libHScopilot-language-3.10-1pd9PjKvh6BEC0uONplcit_p.a
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-prof/
-rw-r--r-- root/root      4881 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-prof/buildinfo_amd64.gz
-rw-r--r-- root/root       148 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-prof/changelog.Debian.gz
-rw-r--r-- root/root       842 2022-07-07 16:57 ./usr/share/doc/libghc-copilot-language-prof/changelog.gz
-rw-r--r-- root/root      1925 2022-09-12 23:37 ./usr/share/doc/libghc-copilot-language-prof/copyright

Timestamp: 13.09.2022 / 01:11:42 (UTC)