missing dependency

[manupadillaph]

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

[berewt]

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.

[berewt]

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.

[manupadillaph]

Thank you!!!