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-1540 - 06:521.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/os: Updated from 1.4.1-153 to 1.4.1-154

0 - 06:52
Arch rolling icon

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

0 - 07:56
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-152 to 1.4.1-153

0 - 07:56
Arch rolling icon

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

0 - 21:56
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-151 to 1.4.1-152

0 - 17:11
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-150 to 1.4.1-151

0 - 14:56
Arch rolling icon

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

0 - 14:26
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-149 to 1.4.1-150

0 - 14:26
Arch rolling icon

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

0 - 09:17
Arch rolling icon

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

Sep 09
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-148 to 1.4.1-149

Sep 09
Arch rolling icon

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

Sep 09
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-147 to 1.4.1-148

Sep 08
Arch rolling icon

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

Sep 07
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-146 to 1.4.1-147

Sep 07
Arch rolling icon

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

Sep 07
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-145 to 1.4.1-146

Sep 03
Arch rolling icon

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

Sep 03
Arch rolling icon

Arch rolling community/os: Updated from 1.4.1-144 to 1.4.1-145

Sep 03
Arch rolling icon

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

Sep 03
⇧ Top