Packages found in the base revision.
Name | Version | |
---|---|---|
proof-general | 4.4 | More information |
coq-stdpp | 1.4.0 | More information |
coq-mathcomp | 1.10.0 | More information |
coq-interval | 3.4.1 | More information |
coq-gappa | 1.4.2 | More information |
coq-flocq | 3.2.0 | More information |
coq-equations | 1.2.1 | More information |
coq-coquelicot | 3.0.3 | More information |
coq-bignums | 8.10.0 | More information |
coq-autosubst | 1-coq86-devel.fa6ef30 | More information |
coq | 8.10.2 | More information |
Packages found in the target revision.
Name | Version | |
---|---|---|
proof-general | 4.4 | More information |
coq-stdpp | 1.4.0 | More information |
coq-mathcomp | 1.11.0 | More information |
coq-interval | 4.0.0 | More information |
coq-gappa | 1.4.4 | More information |
coq-flocq | 3.3.1 | More information |
coq-equations | 1.2.3 | More information |
coq-coquelicot | 3.1.0 | More information |
coq-bignums | 8.11.0 | More information |
coq-autosubst | 1-coq86-devel.fa6ef30 | More information |
coq | 8.11.2 | More information |