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/oszst1.4.1-3092020-03-251.25 MiB4.62 MiB
Manjaro iconManjaro rolling stable/communityxz1.4.1-392019-04-031.05 MiB4.47 MiB
Manjaro iconManjaro rolling testing/communityxz1.4.1-422019-04-051.05 MiB4.47 MiB
Manjaro iconManjaro rolling unstable/communityxz1.4.1-442019-04-101.05 MiB4.47 MiB

Latest updates

Arch icon

Arch rolling community/os: Updated from 1.4.1-308 to 1.4.1-309

2020-03-25
Arch icon

Arch rolling community/os: Updated from 1.4.1-307 to 1.4.1-308

2020-03-25
Arch icon

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

2020-03-22
Arch icon

Arch rolling community/os: Updated from 1.4.1-306 to 1.4.1-307

2020-03-22
Arch icon

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

2020-03-22
Arch icon

Arch rolling community/os: Updated from 1.4.1-305 to 1.4.1-306

2020-03-22
Arch icon

Arch rolling community/os: Updated from 1.4.1-304 to 1.4.1-305

2020-03-21
Arch icon

Arch rolling community/os: Updated from 1.4.1-303 to 1.4.1-304

2020-03-21
Arch icon

Arch rolling community/os: Updated from 1.4.1-302 to 1.4.1-303

2020-03-20
Arch icon

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

2020-03-20
Arch icon

Arch rolling community/os: Updated from 1.4.1-301 to 1.4.1-302

2020-03-20
Arch icon

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

2020-03-20
Arch icon

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

2020-03-19
Arch icon

Arch rolling community/os: Updated from 1.4.1-300 to 1.4.1-301

2020-03-19
Arch icon

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

2020-03-19
Arch icon

Arch rolling community/os: Updated from 1.4.1-299 to 1.4.1-300

2020-03-17
Arch icon

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

2020-03-17
Arch icon

Arch rolling community/os: Updated from 1.4.1-298 to 1.4.1-299

2020-03-17
Arch icon

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

2020-03-17
Arch icon

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

2020-03-16
⇧ Top