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-309Mar 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

Mar 25
Arch icon

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

Mar 25
Arch icon

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

Mar 22
Arch icon

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

Mar 22
Arch icon

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

Mar 22
Arch icon

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

Mar 22
Arch icon

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

Mar 21
Arch icon

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

Mar 21
Arch icon

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

Mar 20
Arch icon

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

Mar 20
Arch icon

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

Mar 20
Arch icon

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

Mar 20
Arch icon

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

Mar 19
Arch icon

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

Mar 19
Arch icon

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

Mar 19
Arch icon

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

Mar 17
Arch icon

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

Mar 17
Arch icon

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

Mar 17
Arch icon

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

Mar 17
Arch icon

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

Mar 16
⇧ Top