/usr/share/ is in libghc-agda-dev 2.5.1.1-3+b3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agda
|
text/plain | root:root | 0o644 | 373 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agdai
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agda
|
text/plain | root:root | 0o644 | 421 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agda
|
text/plain | root:root | 0o644 | 190 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agdai
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agda
|
text/plain | root:root | 0o644 | 358 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agdai
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agdai
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agdai
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agda
|
text/plain | root:root | 0o644 | 837 bytes |
/usr/share/libghc-agda-dev/Agda.css
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agdai
|
application/octet-stream | root:root | 0o644 | 8.0 KB |
/usr/share/libghc-agda-dev/lib/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agda
|
text/plain | root:root | 0o644 | 287 bytes |
/usr/share/libghc-agda-dev/lib/prim/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agdai
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agdai
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-agda-dev/buildinfo_amd64.gz
|
application/gzip | root:root | 0o644 | 4.8 KB |
/usr/share/doc/libghc-agda-dev/changelog.Debian.amd64.gz
|
application/gzip | root:root | 0o644 | 235 bytes |
/usr/share/doc/libghc-agda-dev/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 4.9 KB |
/usr/share/doc/libghc-agda-dev/changelog.gz
|
application/gzip | root:root | 0o644 | 64.3 KB |
/usr/share/doc/libghc-agda-dev/copyright
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agda
|
text/plain | root:root | 0o644 | 364 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agdai
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agda
|
text/plain | root:root | 0o644 | 394 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agdai
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agda
|
text/plain | root:root | 0o644 | 198 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agdai
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agda
|
text/plain | root:root | 0o644 | 379 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agdai
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agda
|
text/plain | root:root | 0o644 | 401 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agdai
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agda
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agdai
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agda
|
text/plain | root:root | 0o644 | 7.3 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agdai
|
application/octet-stream | root:root | 0o644 | 43.5 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agda
|
text/plain | root:root | 0o644 | 229 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agda
|
text/plain | root:root | 0o644 | 288 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agda
|
text/plain | root:root | 0o644 | 460 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agdai
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agda
|
text/plain | root:root | 0o644 | 137 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agdai
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agda
|
text/plain | root:root | 0o644 | 140 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agdai
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda
|
text/plain | root:root | 0o644 | 774 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/share/lintian/
|
root:root | 0o755 | ||
/usr/share/lintian/overrides/
|
root:root | 0o755 | ||
/usr/share/lintian/overrides/libghc-agda-dev
|
text/plain | root:root | 0o644 | 30 bytes |