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-26922 min ago1.24 MiB4.62 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 icon

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

21 min ago
Arch icon

Arch rolling community/os: Updated from 1.4.1-268 to 1.4.1-269

22 min ago
Arch icon

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

32 min ago
Arch icon

Arch rolling community/os: Updated from 1.4.1-267 to 1.4.1-268

13:06
Arch icon

Arch rolling community/os: Updated from 1.4.1-266 to 1.4.1-267

20:41
Arch icon

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

18:17
Arch icon

Arch rolling community/os: Updated from 1.4.1-265 to 1.4.1-266

18:17
Arch icon

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

17:32
Arch icon

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

Yesterday
Arch icon

Arch rolling community/os: Updated from 1.4.1-264 to 1.4.1-265

Yesterday
Arch icon

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

Yesterday
Arch icon

Arch rolling community/os: Updated from 1.4.1-263 to 1.4.1-264

1 - 13:56
Arch icon

Arch rolling community/os: Updated from 1.4.1-262 to 1.4.1-263

1 - 12:16
Arch icon

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

1 - 07:12
Arch icon

Arch rolling community/os: Updated from 1.4.1-261 to 1.4.1-262

1 - 07:11
Arch icon

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

1 - 23:57
Arch icon

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

1 - 21:02
Arch icon

Arch rolling community/os: Updated from 1.4.1-260 to 1.4.1-261

1 - 21:02
Arch icon

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

1 - 20:07
Arch icon

Arch rolling community/os: Updated from 1.4.1-258 to 1.4.1-260

1 - 15:57
⇧ Top