Skip to content
Sections
>> Trisquel >> Пакети >> Резултат от търсенето на пакети

Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Търсене във всички дистрибуции

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

Някои резултати не са показани поради ограничения на търсенето.

Търсене за пакети, чиито имена съдържат libghc-presburger-prof в дистрибуция(и) aramo, всички раздели и всички архитектури. Намерени са 1 пакета.

Точни попадения

Пакет libghc-presburger-prof

  • aramo (haskell): decision procedure for quantifier-free linear arithmetic; profiling libraries
    1.3.1-8build2: amd64 arm64 armhf ppc64el