Linux repositories inspector

haskell-sbv - SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

8.3
Arch iconArch rolling
7.13
Manjaro iconManjaro rolling
DistributionVersionSincePackageInstalledPackager
Arch iconArch rolling community/osxz8.3-70 - 13:363.16 MiB25.9 MiB
Manjaro iconManjaro rolling stable/communityxz7.13-22Apr 032.38 MiB18.9 MiB
Manjaro iconManjaro rolling testing/communityxz7.13-24Apr 052.38 MiB18.9 MiB
Manjaro iconManjaro rolling unstable/communityxz7.13-24Apr 052.38 MiB18.9 MiB

Latest updates

Arch rolling icon

Arch rolling community-staging/os: Version 8.3-7 removed

0 - 13:36
Arch rolling icon

Arch rolling community/os: Updated from 8.3-6 to 8.3-7

0 - 13:36
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-7 introduced

0 - 09:26
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-6 removed

0 - 13:09
Arch rolling icon

Arch rolling community/os: Updated from 8.3-5 to 8.3-6

0 - 13:09
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-6 introduced

Jul 01
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-5 removed

Jun 30
Arch rolling icon

Arch rolling community/os: Updated from 8.3-4 to 8.3-5

Jun 30
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-5 introduced

Jun 30
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-4 removed

Jun 28
Arch rolling icon

Arch rolling community/os: Updated from 8.3-3 to 8.3-4

Jun 28
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-4 introduced

Jun 28
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-3 removed

Jun 26
Arch rolling icon

Arch rolling community/os: Updated from 8.3-2 to 8.3-3

Jun 26
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-3 introduced

Jun 26
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-2 removed

Jun 23
Arch rolling icon

Arch rolling community/os: Updated from 8.3-1 to 8.3-2

Jun 23
Arch rolling icon

Arch rolling community-staging/os: Version 8.3-2 introduced

Jun 23
Arch rolling icon

Arch rolling community/os: Updated from 7.13-24 to 8.3-1

Jun 17
Manjaro rolling icon

Manjaro rolling testing/community: Updated from 7.13-22 to 7.13-24

Apr 05
⇧ Top