Установка:

Для установки libghc-agda-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:

libghc-agda-dev — зависимый язык функционального программирования

Подробная информация о пакете:

Зависимый язык функционального программирования

  • Зависимости:

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgmp10

    Многоточечная арифметическая библиотека

  • libtinfo5

    Общая библиотека terminfo низкого уровня для обработки терминала

  • zlib1g

    Библиотека сжатия - время выполнения

  • libghc-array-dev-0.5.1.1-4c8b7

  • libghc-array-dev-0.5.1.1-4e189

  • libghc-array-dev-0.5.1.1-581e7

  • libghc-async-dev-2.1.1.1-7b04e

  • libghc-async-dev-2.1.1.1-a35d4

  • libghc-async-dev-2.1.1.1-dfd28

  • libghc-base-dev-4.9.1.0-234a1

  • libghc-base-dev-4.9.1.0-4081d

  • libghc-base-dev-4.9.1.0-5a696

  • libghc-base-dev-4.9.1.0-748dd

  • libghc-base-dev-4.9.1.0-d28d6

  • libghc-base-dev-4.9.1.0-e9923

  • libghc-binary-dev-0.8.3.0-4468c

  • libghc-binary-dev-0.8.3.0-7df99

  • libghc-binary-dev-0.8.3.0-93a7a

  • libghc-binary-dev-0.8.3.0-b428b

  • libghc-binary-dev-0.8.3.0-b46b7

  • libghc-binary-dev-0.8.3.0-ce8ef

  • libghc-blaze-html-dev-0.9.0.1-111c3

  • libghc-blaze-html-dev-0.9.0.1-50c41

  • libghc-blaze-html-dev-0.9.0.1-7d8ae

  • libghc-blaze-html-dev-0.9.0.1-97c32

  • libghc-blaze-html-dev-0.9.0.1-b91f6

  • libghc-boxes-dev-0.1.4-409ba

  • libghc-boxes-dev-0.1.4-6321a

  • libghc-boxes-dev-0.1.4-affea

  • libghc-bytestring-dev-0.10.8.1-45b2c

  • libghc-bytestring-dev-0.10.8.1-5c762

  • libghc-bytestring-dev-0.10.8.1-68ecf

  • libghc-bytestring-dev-0.10.8.1-a98c5

  • libghc-bytestring-dev-0.10.8.1-bb7f1

  • libghc-bytestring-dev-0.10.8.1-d9cc6

  • libghc-containers-dev-0.5.7.1-4dfb6

  • libghc-containers-dev-0.5.7.1-665fe

  • libghc-containers-dev-0.5.7.1-b987c

  • libghc-containers-dev-0.5.7.1-cd211

  • libghc-containers-dev-0.5.7.1-ed950

  • libghc-data-hash-dev-0.2.0.1-10ac8

  • libghc-data-hash-dev-0.2.0.1-2a63e

  • libghc-data-hash-dev-0.2.0.1-382b5

  • libghc-data-hash-dev-0.2.0.1-88d10

  • libghc-data-hash-dev-0.2.0.1-e622d

  • libghc-deepseq-dev-1.4.2.0-57656

  • libghc-deepseq-dev-1.4.2.0-9fc2f

  • libghc-deepseq-dev-1.4.2.0-ab902

  • libghc-deepseq-dev-1.4.2.0-ceb13

  • libghc-deepseq-dev-1.4.2.0-fb727

  • libghc-directory-dev-1.3.0.0-0495f

  • libghc-directory-dev-1.3.0.0-40a08

  • libghc-directory-dev-1.3.0.0-41ad6

  • libghc-directory-dev-1.3.0.0-4df53

  • libghc-directory-dev-1.3.0.0-99009

  • libghc-directory-dev-1.3.0.0-b5c22

  • libghc-edisoncore-dev-1.3.1.1-0ffd7

  • libghc-edisoncore-dev-1.3.1.1-1fee9

  • libghc-edisoncore-dev-1.3.1.1-65415

  • libghc-edisoncore-dev-1.3.1.1-c8efd

  • libghc-edisoncore-dev-1.3.1.1-ee3d4

  • libghc-edit-distance-dev-0.2.2.1-78656

  • libghc-equivalence-dev-0.3.2-1aff8

  • libghc-equivalence-dev-0.3.2-2f3e0

  • libghc-equivalence-dev-0.3.2-a7a09

  • libghc-equivalence-dev-0.3.2-bf692

  • libghc-equivalence-dev-0.3.2-f23ce

  • libghc-filepath-dev-1.4.1.1-0598a

  • libghc-filepath-dev-1.4.1.1-32f1a

  • libghc-filepath-dev-1.4.1.1-59c71

  • libghc-filepath-dev-1.4.1.1-ac817

  • libghc-filepath-dev-1.4.1.1-decf4

  • libghc-geniplate-mirror-dev-0.7.5-4ebfa

  • libghc-geniplate-mirror-dev-0.7.5-d46ce

  • libghc-geniplate-mirror-dev-0.7.5-f9baa

  • libghc-gitrev-dev-1.3.1-18274

  • libghc-gitrev-dev-1.3.1-82a6d

  • libghc-gitrev-dev-1.3.1-c4ef9

  • libghc-hashable-dev-1.2.6.1-04604

  • libghc-hashable-dev-1.2.6.1-86b66

  • libghc-hashable-dev-1.2.6.1-981f4

  • libghc-hashable-dev-1.2.6.1-a8425

  • libghc-hashable-dev-1.2.6.1-c8375

  • libghc-hashtables-dev-1.2.2.1-0d59e

  • libghc-hashtables-dev-1.2.2.1-186b5

  • libghc-hashtables-dev-1.2.2.1-72331

  • libghc-hashtables-dev-1.2.2.1-da884

  • libghc-hashtables-dev-1.2.2.1-fb924

  • libghc-haskeline-dev-0.7.3.0-434ca

  • libghc-haskeline-dev-0.7.3.0-5507e

  • libghc-haskeline-dev-0.7.3.0-8fa0a

  • libghc-haskeline-dev-0.7.3.0-9e461

  • libghc-haskeline-dev-0.7.3.0-e7d7d

  • libghc-haskeline-dev-0.7.3.0-efce2

  • libghc-ieee754-dev-0.8.0-1e190

  • libghc-ieee754-dev-0.8.0-22dfe

  • libghc-ieee754-dev-0.8.0-2b7f4

  • libghc-ieee754-dev-0.8.0-2f219

  • libghc-ieee754-dev-0.8.0-4e670

  • libghc-monadplus-dev-1.4.2-6467b

  • libghc-monadplus-dev-1.4.2-8cebd

  • libghc-mtl-dev-2.2.1-1a6c5

  • libghc-mtl-dev-2.2.1-7ac9d

  • libghc-mtl-dev-2.2.1-93d32

  • libghc-murmur-hash-dev-0.1.0.9-5ec8f

  • libghc-murmur-hash-dev-0.1.0.9-5fcbb

  • libghc-murmur-hash-dev-0.1.0.9-7fb97

  • libghc-murmur-hash-dev-0.1.0.9-bb234

  • libghc-murmur-hash-dev-0.1.0.9-f60d3

  • libghc-parallel-dev-3.2.1.1-159db

  • libghc-parallel-dev-3.2.1.1-2b7ad

  • libghc-parallel-dev-3.2.1.1-4c514

  • libghc-parallel-dev-3.2.1.1-e0bd1

  • libghc-parallel-dev-3.2.1.1-f08ec

  • libghc-pretty-dev-1.1.3.3-912de

  • libghc-pretty-dev-1.1.3.3-92eaa

  • libghc-pretty-dev-1.1.3.3-9725c

  • libghc-pretty-dev-1.1.3.3-bf381

  • libghc-pretty-dev-1.1.3.3-fb050

  • libghc-process-dev-1.4.3.0-7d693

  • libghc-process-dev-1.4.3.0-996f5

  • libghc-process-dev-1.4.3.0-aff39

  • libghc-regex-tdfa-dev-1.2.2-035bc

  • libghc-regex-tdfa-dev-1.2.2-1c819

  • libghc-regex-tdfa-dev-1.2.2-4d397

  • libghc-regex-tdfa-dev-1.2.2-83907

  • libghc-regex-tdfa-dev-1.2.2-f9be9

  • libghc-stm-dev-2.4.4.1-37ae7

  • libghc-stm-dev-2.4.4.1-84028

  • libghc-strict-dev-0.3.2-30063

  • libghc-strict-dev-0.3.2-ad079

  • libghc-strict-dev-0.3.2-bf0d3

  • libghc-strict-dev-0.3.2-c061e

  • libghc-strict-dev-0.3.2-c2f88

  • libghc-template-haskell-dev-2.11.1.0-14f6d

  • libghc-template-haskell-dev-2.11.1.0-44e70

  • libghc-template-haskell-dev-2.11.1.0-54554

  • libghc-template-haskell-dev-2.11.1.0-5898e

  • libghc-template-haskell-dev-2.11.1.0-5e9d9

  • libghc-template-haskell-dev-2.11.1.0-ae950

  • libghc-text-dev-1.2.2.2-3451f

  • libghc-text-dev-1.2.2.2-3719c

  • libghc-text-dev-1.2.2.2-4f564

  • libghc-text-dev-1.2.2.2-5429b

  • libghc-text-dev-1.2.2.2-b4978

  • libghc-text-dev-1.2.2.2-f8267

  • libghc-time-dev-1.6.0.1-0a2e1

  • libghc-time-dev-1.6.0.1-37aff

  • libghc-time-dev-1.6.0.1-ecbdf

  • libghc-time-dev-1.6.0.1-f3ead

  • libghc-time-dev-1.6.0.1-fbdf1

  • libghc-transformers-dev-0.5.2.0-1d020

  • libghc-transformers-dev-0.5.2.0-8eb7a

  • libghc-transformers-dev-0.5.2.0-e204f

  • libghc-unordered-containers-dev-0.2.8.0-2999c

  • libghc-unordered-containers-dev-0.2.8.0-3ae54

  • libghc-unordered-containers-dev-0.2.8.0-40548

  • libghc-unordered-containers-dev-0.2.8.0-8dcba

  • libghc-unordered-containers-dev-0.2.8.0-bcf21

  • libghc-uri-encode-dev-1.5.0.5-3eabb

  • libghc-uri-encode-dev-1.5.0.5-61af4

  • libghc-uri-encode-dev-1.5.0.5-c0245

  • libghc-uri-encode-dev-1.5.0.5-fb15f

  • libghc-uri-encode-dev-1.5.0.5-fcf93

  • libghc-zlib-dev-0.6.1.2-2f9ef

  • libghc-zlib-dev-0.6.1.2-7fc37

  • libghc-zlib-dev-0.6.1.2-a4a43

  • libghc-zlib-dev-0.6.1.2-b21fa

  • libghc-zlib-dev-0.6.1.2-f6ce5