eprover 3.0

Error log

The package failed to build. The error log from opam follows.

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.3

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3  (cached)
-> removed   opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.

<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy eprover.3.0 conf-gcc.1.0" <><><><><><><><>

Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
gcc
The following actions will be performed:
  - install conf-gcc 1.0
  - install eprover  3.0
===== 2 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/6: [eprover.3.0: http]
Processing  3/6: [eprover.3.0: http] [conf-gcc: gcc]
[ERROR] Failed to get sources of eprover.3.0: curl error code 403
Processing  3/6: [conf-gcc: gcc]
+ /usr/bin/gcc "--version" (CWD=/home/opam/.opam/5.1/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 12.2.0-14) 12.2.0
- Copyright (C) 2022 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions.  There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
- 
-> compiled  conf-gcc.1.0
-> installed conf-gcc.1.0

#=== ERROR while fetching sources for eprover.3.0 =============================#
OpamSolution.Fetch_fail("http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/E.tgz (curl: code 403 while downloading http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/E.tgz)")


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch eprover 3.0
+- 
+- The following changes have been performed
| - install conf-gcc 1.0
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240912084037.export"
'opam --cli=2.1 install eprover.3.0 conf-gcc.1.0 --verbose --yes --confirm-level=unsafe-yes' failed.