» Ubuntu » Paketler » cosmic (18.10) » math » libssreflect-coq
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Kaynak: ssreflect  ]

Paket: libssreflect-coq (1.6.1-3build1) [universe]

libssreflect-coq için bağlantılar

Screenshot

Ubuntu Kaynakları:

ssreflect Kaynak Paketini İndir:

Geliştirici:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Posta Arşivi)
  • Stéphane Glondu
  • Enrico Tassi

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

Benzer paketler:

small scale reflection library for Coq (theories)

libssreflect-coq ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libssreflect-coq indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 23.632,8 kB138.793,0 kB [dosya listesi]