Skip to content
Sections
>> Trisquel >> Пакеты >> Результаты поиска пакетов

Поиск в заданном комплекте: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]

Некоторые результаты не были показаны из-за параметров поиска.

Вы искали пакеты, в именах которых есть agda. Были просмотрены все комплекты, все секции и все архитектуры. Количество подходящих пакетов: 7.

Точные совпадения

Пакет agda

  • aramo (misc): dependently typed functional programming language
    2.6.1-1build2.1: all

Другие совпадения

Пакет agda-bin

  • aramo (haskell): commandline interface to Agda
    2.6.1-1build2.1: amd64 ppc64el

Пакет agda-stdlib

  • aramo (libs): standard library for Agda
    1.3-2: all

Пакет agda-stdlib-doc

  • aramo (doc): standard library for Agda — documentation
    1.3-2: all

Пакет elpa-agda2-mode

  • aramo (editors): dependently typed functional programming language — emacs mode
    2.6.1-1build2.1: all

Пакет libghc-agda-dev

  • aramo (haskell): dependently typed functional programming language
    2.6.1-1build2.1: amd64 ppc64el

Пакет libghc-agda-doc

  • aramo (doc): dependently typed functional programming language; documentation
    2.6.1-1build2.1: all