coccinelle 1.2

Error log

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

[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 19 packages
  - install coccinelle        1.2
  - install conf-aclocal      2
  - install conf-autoconf     0.2
  - install conf-automake     1
  - install conf-libpcre      2
  - install conf-pkg-config   4
  - install conf-python-3     9.0.0
  - install conf-python-3-dev 1
  - install csexp             1.5.2
  - install dune-configurator 3.17.2
  - install menhir            20240715
  - install menhirCST         20240715
  - install menhirLib         20240715
  - install menhirSdk         20240715
  - install num               1.5-1
  - install parmap            1.2.5
  - install pcre              8.0.2
  - install pyml              20231101
  - install stdcompat         19

The following system packages will first need to be installed:
    autoconf automake libpcre3-dev pkg-config python3 python3-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "automake" "libpcre3-dev" "pkg-config" "python3" "python3-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpython3.11-minimal:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18745 files and directories currently installed.)
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u5) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19052 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19462 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../01-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../05-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libexpat1-dev:amd64.
- Preparing to unpack .../06-libexpat1-dev_2.5.0-1+deb12u1_amd64.deb ...
- Unpacking libexpat1-dev:amd64 (2.5.0-1+deb12u1) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../07-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libjs-underscore.
- Preparing to unpack .../08-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ...
- Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
- Selecting previously unselected package libjs-sphinxdoc.
- Preparing to unpack .../09-libjs-sphinxdoc_5.3.0-4_all.deb ...
- Unpacking libjs-sphinxdoc (5.3.0-4) ...
- Selecting previously unselected package libpcre16-3:amd64.
- Preparing to unpack .../10-libpcre16-3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre16-3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre3:amd64.
- Preparing to unpack .../11-libpcre3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre32-3:amd64.
- Preparing to unpack .../12-libpcre32-3_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre32-3:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcrecpp0v5:amd64.
- Preparing to unpack .../13-libpcrecpp0v5_2%3a8.39-15_amd64.deb ...
- Unpacking libpcrecpp0v5:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpcre3-dev:amd64.
- Preparing to unpack .../14-libpcre3-dev_2%3a8.39-15_amd64.deb ...
- Unpacking libpcre3-dev:amd64 (2:8.39-15) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../15-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package libpython3.11:amd64.
- Preparing to unpack .../16-libpython3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../17-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Selecting previously unselected package libpython3.11-dev:amd64.
- Preparing to unpack .../18-libpython3.11-dev_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-dev:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-dev:amd64.
- Preparing to unpack .../19-libpython3-dev_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-dev:amd64 (3.11.2-1+b1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../20-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../21-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../22-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Selecting previously unselected package python3.11-dev.
- Preparing to unpack .../23-python3.11-dev_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-dev (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-lib2to3.
- Preparing to unpack .../24-python3-lib2to3_3.11.2-3_all.deb ...
- Unpacking python3-lib2to3 (3.11.2-3) ...
- Selecting previously unselected package python3-distutils.
- Preparing to unpack .../25-python3-distutils_3.11.2-3_all.deb ...
- Unpacking python3-distutils (3.11.2-3) ...
- Selecting previously unselected package python3-dev.
- Preparing to unpack .../26-python3-dev_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-dev (3.11.2-1+b1) ...
- Setting up media-types (10.0.0) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libpcre16-3:amd64 (2:8.39-15) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Setting up m4 (1.4.19-3) ...
- Setting up libpcre3:amd64 (2:8.39-15) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libexpat1-dev:amd64 (2.5.0-1+deb12u1) ...
- Setting up libpcre32-3:amd64 (2:8.39-15) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up autoconf (2.71-3) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libpcrecpp0v5:amd64 (2:8.39-15) ...
- Setting up python3.11 (3.11.2-6+deb12u5) ...
- Setting up libpython3.11:amd64 (3.11.2-6+deb12u5) ...
- Setting up libpcre3-dev:amd64 (2:8.39-15) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up libpython3.11-dev:amd64 (3.11.2-6+deb12u5) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Setting up libjs-sphinxdoc (5.3.0-4) ...
- Setting up python3-lib2to3 (3.11.2-3) ...
- Setting up python3-distutils (3.11.2-3) ...
- Setting up libpython3-dev:amd64 (3.11.2-1+b1) ...
- Setting up python3.11-dev (3.11.2-6+deb12u5) ...
- Setting up python3-dev (3.11.2-1+b1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-python-3.9.0.0  (cached)
-> retrieved conf-python-3-dev.1  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-autoconf.0.2
-> installed conf-pkg-config.4
-> installed conf-python-3.9.0.0
-> installed conf-libpcre.2
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715  (cached)
[ERROR] Failed to get sources of coccinelle.1.2: curl error code 404
-> retrieved dune-configurator.3.17.2  (cached)
-> installed conf-python-3-dev.1
-> installed csexp.1.5.2
-> installed conf-automake.1
-> retrieved num.1.5-1  (cached)
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> retrieved parmap.1.2.5  (cached)
-> retrieved pcre.8.0.2  (cached)
-> installed conf-aclocal.2
-> retrieved pyml.20231101  (cached)
-> retrieved stdcompat.19  (cached)
-> installed num.1.5-1
-> installed dune-configurator.3.17.2
-> installed parmap.1.2.5
-> installed pcre.8.0.2
-> installed stdcompat.19
-> installed pyml.20231101
-> installed menhir.20240715

#=== ERROR while fetching sources for coccinelle.1.2 ==========================#
OpamSolution.Fetch_fail("https://github.com/coccinelle/coccinelle/archive/refs/tags/1.2.tar.gz (curl: code 404 while downloading https://github.com/coccinelle/coccinelle/archive/refs/tags/1.2.tar.gz)")


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch coccinelle 1.2
+- 
+- The following changes have been performed
| - install conf-aclocal      2
| - install conf-autoconf     0.2
| - install conf-automake     1
| - install conf-libpcre      2
| - install conf-pkg-config   4
| - install conf-python-3     9.0.0
| - install conf-python-3-dev 1
| - install csexp             1.5.2
| - install dune-configurator 3.17.2
| - install menhir            20240715
| - install menhirCST         20240715
| - install menhirLib         20240715
| - install menhirSdk         20240715
| - install num               1.5-1
| - install parmap            1.2.5
| - install pcre              8.0.2
| - install pyml              20231101
| - install stdcompat         19
+- 
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.14/.opam-switch/backup/state-20250206033825.export"