» Ubuntu » Pakketten » quantal (12.10) » math » libssreflect-coq
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]
[ Bron: ssreflect  ]

Pakket: libssreflect-coq (1.3pl4-1) [universe]

Verwijzigingen voor libssreflect-coq


Ubuntu bronnen:

Het bronpakket ssreflect downloaden:


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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mailarchief)
  • Stéphane Glondu

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

Externe bronnen:

Vergelijkbare pakketten:

small scale reflection library for Coq (theories)

Andere aan libssreflect-coq gerelateerde pakketten

  • depends
  • recommends
  • suggests

libssreflect-coq downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 15.707,6 kB89.847,0 kB [overzicht]