libcoq-mtac2 1.4+8.18-1 (s390x binary) in ubuntu noble

 This plugin for Coq provides the Mtac2
 typed tactic language for backward reasoning.
 .
 Coq is a proof assistant for higher-order logic.

Details

Package version:
1.4+8.18-1
Source:
coq-mtac2 1.4+8.18-1 source package in Ubuntu
Status:
Deleted
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libcoq-stdlib-d7fd6
  • libcoq-unicoq-d2ys9
Provides:
  • libcoq-mtac2-h4d36