[ Kaynak: psmt2-frontend ]
Paket: psmt2-frontend (0.4.0-1 ve diğerleri)
psmt2-frontend için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
psmt2-frontend Kaynak Paketini İndir:
- [psmt2-frontend_0.4.0-1.dsc]
- [psmt2-frontend_0.4.0.orig.tar.gz]
- [psmt2-frontend_0.4.0-1.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Parse and type-check SMT-LIB 2 (tool)
A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.
This package provides the command-line tool.
psmt2-frontend ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.33)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [amd64 değil]
- Parse and type-check SMT-LIB 2 (runtime files)
- dep: libpsmt2-frontend-ocaml (= 0.4.0-1+b1) [amd64]
psmt2-frontend indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 0.4.0-1+b1 | 437,5 kB | 1.883,0 kB | [dosya listesi] |
| arm64 | 0.4.0-1 | 453,5 kB | 1.949,0 kB | [dosya listesi] |
| armel | 0.4.0-1 | 156,6 kB | 841,0 kB | [dosya listesi] |
| armhf | 0.4.0-1 | 381,9 kB | 1.187,0 kB | [dosya listesi] |
| i386 | 0.4.0-1 | 389,2 kB | 1.487,0 kB | [dosya listesi] |
| mips64el | 0.4.0-1 | 163,7 kB | 947,0 kB | [dosya listesi] |
| mipsel | 0.4.0-1 | 163,7 kB | 909,0 kB | [dosya listesi] |
| ppc64el | 0.4.0-1 | 423,0 kB | 1.893,0 kB | [dosya listesi] |
| s390x | 0.4.0-1 | 407,3 kB | 1.870,0 kB | [dosya listesi] |