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-310 - 09:563.17 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-31 removed

0 - 09:56
Arch rolling icon

Arch rolling community/os: Updated from 8.3-30 to 8.3-31

0 - 09:56
Arch rolling icon

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

0 - 00:26
Arch rolling icon

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

Oct 14
Arch rolling icon

Arch rolling community/os: Updated from 8.3-29 to 8.3-30

Oct 14
Arch rolling icon

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

Oct 14
Arch rolling icon

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

Oct 11
Arch rolling icon

Arch rolling community/os: Updated from 8.3-28 to 8.3-29

Oct 11
Arch rolling icon

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

Oct 11
Arch rolling icon

Arch rolling community/os: Updated from 8.3-27 to 8.3-28

Oct 08
Arch rolling icon

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

Oct 06
Arch rolling icon

Arch rolling community/os: Updated from 8.3-26 to 8.3-27

Oct 06
Arch rolling icon

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

Oct 06
Arch rolling icon

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

Sep 13
Arch rolling icon

Arch rolling community/os: Updated from 8.3-25 to 8.3-26

Sep 13
Arch rolling icon

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

Sep 13
Arch rolling icon

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

Sep 08
Arch rolling icon

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

Sep 08
Arch rolling icon

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

Sep 08
Arch rolling icon

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

Sep 03
⇧ Top