search

rocq-archive / coq-contribs

7 stars 1 forks source link

Failure checking out lin-alg module #5

Open geneing opened 3 years ago

geneing commented 3 years ago

Command git submodule update --init fails with the following error:

fatal: remote error: upload-pack: not our ref 087d79f11a497dcd5db0dba5c2155c8dce2413a7 fatal: The remote end hung up unexpectedly Fetched in submodule path 'lin-alg', but it did not contain 087d79f11a497dcd5db0dba5c2155c8dce2413a7. Direct fetching of that commit failed.

geneing commented 3 years ago

Similar errors occur in modules: ltl, maple-mode, presburger, relation-extraction, smc.