[ etiona ]
Виртуальный пакет: libghc-presburger-dev-1.3.1-43796
Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.
Пакеты, предоставляющие libghc-presburger-dev-1.3.1-43796
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic