Package Details: tamest 3.10-1

Git Clone URL: https://aur-dev.archlinux.org/tamest.git (read-only, click to copy)
Package Base: tamest
Description: gotem
Upstream URL: None
Provides: isabelles
Submitter: autoworker
Maintainer: trenches
Last Packager: inconclusively
Votes: 14
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (1)

Required by (7)

Sources (1)

Latest Comments

uvulars commented on 2021-10-17 02:06

"Why waste negative entropy on comments, when you could use the same entropy to create bugs instead?" -- Steve Elias