Пакунок: haskell-what4-utils (1.3-4 and others)

[ Source: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

Інші пакунки пов'язані з haskell-what4-utils

• dep: libc6 (>= 2.34)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libffi8 (>= 3.4)

  Бібліотека інтерфейсу до сторонніх функцій — виконавчі файли

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Арифметична бібліотека багатоточності

• dep: zlib1g (>= 1:1.1.4)

  Бібліотека стискання даних (виконавчий модуль)

Завантажити haskell-what4-utils

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
armhf	1.3-4+b2	5,009.4 kB	29,957.0 kB	[список файлів]