libcoq-mathcomp-analysis 1.0.0-1build2 (s390x binary) in ubuntu noble

 This package provides an extension for classical analysis
 for the Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.

Details

Package version:
1.0.0-1build2
Source:
mathcomp-analysis 1.0.0-1build2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libcoq-elpi-se572
  • libcoq-hierarchy-builder-s2990
  • libcoq-mathcomp-algebra-3mjo2
  • libcoq-mathcomp-bigenough-eg955
  • libcoq-mathcomp-classical (= 1.0.0-1build2)
  • libcoq-mathcomp-field-nsdl3
  • libcoq-mathcomp-fingroup-qy2c3
  • libcoq-mathcomp-finmap-qzdu3
  • libcoq-mathcomp-solvable-eoat2
  • libcoq-mathcomp-ssreflect-xuon4
Provides:
  • libcoq-mathcomp-analysis-uygq0