Untersuchungsergebnis.dune Download desLatech {Latech[88] Fortran[215] Delphi[254]}zum Wurzelverzeichnis wechseln
(library
(name ssreflect_plugin)
(public_name coq.plugins.ssreflect)
(synopsis "Coq's ssreflect plugin")
(modules_without_implementation ssrast)
(flags :standard -open Gramlib)
(libraries coq.plugins.ssrmatching))
[ zur Elbe Produktseite wechseln0.77Quellennavigators
]