Tags

Tags give the ability to mark specific points in history as being important

debian/0.195-1

04e9161f · Release to unstable. · Jan 01, 2021
```
metamath Debian release 0.195-1
```
Unverified
upstream/0.195

d64753bb · New upstream version 0.195 · Jan 01, 2021
```
Upstream version 0.195
```
debian/0.183-1

fa898580 · Release to unstable. · Jul 12, 2020
```
metamath Debian release 0.183-1
```
Unverified
upstream/0.183

678b7616 · New upstream version 0.183 · Jul 12, 2020
```
Upstream version 0.183
```
debian/0.180-1

8f482329 · Fill up and remove boilerplate. · Dec 28, 2019
```
metamath Debian release 0.180-1
```
Unverified
upstream/0.180

da3b859d · New upstream version 0.180 · Dec 28, 2019
```
Upstream version 0.180
```