packages Skip to content

» Ubuntu » Balíky » Výsledky hľadania balíkov

Niektoré výsledky neboli zobrazené kvôli parametrom vyhľadávania.

Hľadali ste balíky ktorých názvy obsahujú agda v všetky sady, všetky sekcie a architektúry i386. Našlo sa 6 zodpovedajúcich balíkov.

Presné výsledky

Balík agda

• focal (20.04LTS) (misc): dependently typed functional programming language [universe]
  2.6.0.1-1build4: all
• jammy (22.04LTS) (misc): dependently typed functional programming language [universe]
  2.6.1-1build2.1: all
• lunar (23.04) (misc): dependently typed functional programming language [universe]
  2.6.2.2-1.1build1: all
• mantic (23.10) (misc): dependently typed functional programming language [universe]
  2.6.2.2-1.1build1: all
• noble (misc): dependently typed functional programming language [universe]
  2.6.3-1build1: all

Ostatné výsledky

Balík agda-mode

• focal (20.04LTS) (misc): transitional dummy package for elpa-agda2-mode [universe]
  2.6.0.1-1build4: all
  je tiež poskytovaný balíkom: elpa-agda2-mode

Balík agda-stdlib

• focal (20.04LTS) (libs): standard library for Agda [universe]
  1.1-1: all
• jammy (22.04LTS) (libs): standard library for Agda [universe]
  1.3-2: all
• lunar (23.04) (libs): standard library for Agda [universe]
  1.7.1-1: all
• mantic (23.10) (libs): standard library for Agda [universe]
  1.7.1-1: all
• noble (libs): standard library for Agda [universe]
  1.7.3-1: all

Balík agda-stdlib-doc

• focal (20.04LTS) (doc): standard library for Agda — documentation [universe]
  1.1-1: all
• jammy (22.04LTS) (doc): standard library for Agda — documentation [universe]
  1.3-2: all
• lunar (23.04) (doc): standard library for Agda — documentation [universe]
  1.7.1-1: all
• mantic (23.10) (doc): standard library for Agda — documentation [universe]
  1.7.1-1: all
• noble (doc): standard library for Agda — documentation [universe]
  1.7.3-1: all

Balík elpa-agda2-mode

• focal (20.04LTS) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.0.1-1build4: all
• jammy (22.04LTS) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.1-1build2.1: all
• lunar (23.04) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.2.2-1.1build1: all
• mantic (23.10) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.2.2-1.1build1: all
• noble (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.3-1build1: all

Balík libghc-agda-doc

• focal (20.04LTS) (doc): dependently typed functional programming language; documentation [universe]
  2.6.0.1-1build4: all
• jammy (22.04LTS) (doc): dependently typed functional programming language; documentation [universe]
  2.6.1-1build2.1: all
• lunar (23.04) (doc): dependently typed functional programming language; documentation [universe]
  2.6.2.2-1.1build1: all
• mantic (23.10) (doc): dependently typed functional programming language; documentation [universe]
  2.6.2.2-1.1build1: all
• noble (doc): dependently typed functional programming language; documentation [universe]
  2.6.3-1build1: all