Base (2cae49f9c99e25686858d4a0e423ebd97bc77b2f)

Packages found in the base revision.

NameVersion
proof-general4.4More information
coq-stdpp1.4.0More information
coq-mathcomp1.10.0More information
coq-interval3.4.1More information
coq-gappa1.4.2More information
coq-flocq3.2.0More information
coq-equations1.2.1More information
coq-coquelicot3.0.3More information
coq-bignums8.10.0More information
coq-autosubst1-coq86-devel.fa6ef30More information
coq8.10.2More information

Target (1042d269a723360a02b19a2baafef1e24a3bfc73)

Packages found in the target revision.

NameVersion
proof-general4.4More information
coq-stdpp1.4.0More information
coq-mathcomp1.11.0More information
coq-interval4.0.0More information
coq-gappa1.4.4More information
coq-flocq3.3.1More information
coq-equations1.2.3More information
coq-coquelicot3.1.0More information
coq-bignums8.11.0More information
coq-autosubst1-coq86-devel.fa6ef30More information
coq8.11.2More information