missing dependency
manupadillaph opened this issue · comments
Summary
Can't build plutus apps, 'https://github.com/Quviq/quickcheck-contractmodel/' does not exist anymore.
Steps to reproduce the behavior
Plutus Apps v1.1.0 and v1.2.0 are depending on 'https://github.com/Quviq/quickcheck-contractmodel/'
Any project that is using a copy of those dependencies will not build anymore.
I use to copy big part of the .project file from plutus apps project to mine to use same version o dependencies.
But since at least today is not working anymore.
This are the lines in the project file in plutus apps v1.1.0:
-- Direct dependency.
source-repository-package
type: git
location: https://github.com/Quviq/quickcheck-contractmodel
tag: 462f8c25bea15f88e179e12ebf4e3a4ffcc92d18
subdir:
contractmodel
--sha256: 0ml3avnydsw40yf48hbakcbpimp446rchgzhrzl92by6c9lw3mfh
And this in Plutus Apps v1.2.0:
-- Direct dependency.
source-repository-package
type: git
location: https://github.com/Quviq/quickcheck-contractmodel
tag: cc43f13f98c704e0d53dbdef6a98367918f8c5c1
subdir:
contractmodel
Actual Result
Cloning into '/workspaces/plutus-starter/dist-newstyle/src/quickchec_-d24d7e991bd0bb0e'...
remote: Repository not found.
fatal: repository 'https://github.com/Quviq/quickcheck-contractmodel/' not found
Expected Result
That the repository exist and the git clone works
Describe the approach you would take to fix this
Re-upload the repository on the same path or update with a new dependency in the .project file for Plutus Apps
System info
Plutus v1.1.0 and v1.2.0
Thanks for reporting.
Indeed quickcheck-contractmodel moved to input-output-hk repo, but we weren't aware that the initial repo was deleted. We gonna see if we can either restore it or provide a bug fix version for v1.1 and v1.2.
Everything should be ok with the next release, but we don't have a release date yet.
Quviq's repo is back and it should be fine at the moment. I'm keeping it open as we may still want to revise v1.1 and v1.2 to clearly deprecate Quviq's repo.
Thank you!!!