Ubuntu
metamath package

Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/metamath
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/pristine-tar 2022-09-01 11:23:51 UTC
pristine-tar data for metamath_0.195.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-01 11:23:51 UTC

pristine-tar data for metamath_0.195.orig.tar.gz
importer/ubuntu/dsc 2022-09-01 11:23:45 UTC
DSC file for 0.195-1

Author: Ubuntu Git Importer
Author Date: 2022-09-01 11:23:45 UTC

DSC file for 0.195-1
importer/debian/pristine-tar 2022-09-01 11:23:43 UTC
pristine-tar data for metamath_0.195.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-01 11:23:43 UTC

pristine-tar data for metamath_0.195.orig.tar.gz
importer/debian/dsc 2022-09-01 11:23:36 UTC
DSC file for 0.195-1

Author: Ubuntu Git Importer
Author Date: 2022-09-01 11:23:36 UTC

DSC file for 0.195-1
ubuntu/oracular-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/bullseye 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/jammy 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/bookworm 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-proposed 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches applied)

Imported using git-ubuntu import.
debian/bookworm 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
debian/bullseye 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
debian/sid 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-proposed 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish-devel 2021-01-01 16:39:10 UTC
0.195-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2021-01-01 10:03:45 UTC

0.195-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy-devel 2020-07-12 22:38:49 UTC
0.183-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed 2020-07-12 22:38:49 UTC
0.183-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy 2020-07-12 22:38:49 UTC
0.183-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy-proposed 2020-07-12 22:38:49 UTC
0.183-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy 2020-07-12 22:38:49 UTC
0.183-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-devel 2020-07-12 22:38:49 UTC
0.183-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2020-07-12 15:55:48 UTC

0.183-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal-proposed 2020-01-02 22:34:41 UTC
0.180-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal 2020-01-02 22:34:41 UTC
0.180-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-devel 2020-01-02 22:34:41 UTC
0.180-1 (patches unapplied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/focal-proposed 2020-01-02 22:34:41 UTC
0.180-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-devel 2020-01-02 22:34:41 UTC
0.180-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal 2020-01-02 22:34:41 UTC
0.180-1 (patches applied)

Author: Giovanni Mascellani
Author Date: 2019-12-28 07:09:58 UTC

0.180-1 (patches applied)

Imported using git-ubuntu import.
1 → 58 of 58 results First • Previous • Next • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/metamath 2024-05-02
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for metamath in Ubuntu.