ソースパッケージ: mathpartir (1.2.0-3)
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- mathpartir
- LaTeX macros for typesetting inference rules
その他の mathpartir 関連パッケージ
|
|
-
- adep: debhelper (>= 7.0)
- debian/rules のヘルパープログラム
-
- adep: tex-common
- common infrastructure for building and installing TeX
-
- idep: hevea
- LaTeX から HTML、info、又はテキストへの変換
Download mathpartir
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| mathpartir_1.2.0-3.dsc | 1.1 kB | 6a6c51797d823c24c111232efe3a905f |
| mathpartir_1.2.0.orig.tar.gz | 228.7 kB | 7b205eb7fb68264f96ff7c567c165fcc |
| mathpartir_1.2.0-3.debian.tar.gz | 2.7 kB | abe886dd31a2e9b95f9bb328c59e66f5 |