make coq-htt package depend on coq-htt-core #56
Annotations
10 warnings
|
htt/domain.v#L15
"From Coq" has been replaced by "From Stdlib".
|
|
examples/exploit.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
examples/array.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
examples/array.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/gcd.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
examples/kvmaps.v#L19
"From Coq" has been replaced by "From Stdlib".
|
|
examples/dlist.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
examples/quicksort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/bubblesort.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
examples/bubblesort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
The logs for this run have expired and are no longer available.
Loading