Linux repositories inspector

tamarin-prover - The Tamarin prover for security protocol analysis

1.4.1
Arch iconArch rolling
Manjaro iconManjaro rolling
DistributionVersionSincePackageInstalledPackager
Arch iconArch rolling community/osxz1.4.1-11308:161.05 MiB4.45 MiB
Manjaro iconManjaro rolling stable/communityxz1.4.1-39Apr 031.05 MiB4.47 MiB
Manjaro iconManjaro rolling testing/communityxz1.4.1-42Apr 051.05 MiB4.47 MiB
Manjaro iconManjaro rolling unstable/communityxz1.4.1-44Apr 101.05 MiB4.47 MiB

Latest updates

Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-113 removed

08:16
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-112 to 1.4.1-113

08:16
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-113 introduced

01:21
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-112 removed

Yesterday
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-111 to 1.4.1-112

Yesterday
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-112 introduced

Yesterday
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-110 to 1.4.1-111

Yesterday
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-111 removed

Yesterday
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-111 introduced

0 - 05:16
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-110 removed

0 - 13:36
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-109 to 1.4.1-110

0 - 13:36
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-110 introduced

0 - 10:17
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-108 to 1.4.1-109

0 - 12:31
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-108 removed

0 - 10:16
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-107 to 1.4.1-108

0 - 10:16
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-108 introduced

0 - 06:11
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-107 removed

0 - 08:11
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-106 to 1.4.1-107

0 - 08:11
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-107 introduced

0 - 04:06
Arch rolling icon

Arch rolling community-staging/os: Version 1.4.1-106 removed

0 - 22:32
⇧ Top