* gnu/packages/c.scm:  Remove references to (gnu packages flex).
* gnu/packages/video.scm: Likewise.
* gnu/packages/web.scm: Likewise.
* gnu/packages/admin.scm: Change (gnu packages flex)
  to (gnu packages compiler-tools).
* gnu/packages/algebra.scm: Likewise.
* gnu/packages/apparmor.scm: Likewise.
* gnu/packages/assembly.scm: Likewise.
* gnu/packages/astronomy.scm: Likewise.
* gnu/packages/audio.scm: Likewise.
* gnu/packages/bioinformatics.scm: Likewise.
* gnu/packages/bison.scm: Likewise.
* gnu/packages/bootloaders.scm: Likewise.
* gnu/packages/cdrom.scm: Likewise.
* gnu/packages/chemistry.scm: Likewise.
* gnu/packages/cluster.scm: Likewise.
* gnu/packages/cobol.scm: Likewise.
* gnu/packages/code.scm: Likewise.
* gnu/packages/commencement.scm: Likewise.
* gnu/packages/coq.scm: Likewise.
* gnu/packages/coreboot.scm: Likewise.
* gnu/packages/databases.scm: Likewise.
* gnu/packages/datalog.scm: Likewise.
* gnu/packages/debug.scm: Likewise.
* gnu/packages/dictionaries.scm: Likewise.
* gnu/packages/dns.scm: Likewise.
* gnu/packages/documentation.scm: Likewise.
* gnu/packages/dotnet.scm: Likewise.
* gnu/packages/education.scm: Likewise.
* gnu/packages/electronics.scm: Likewise.
* gnu/packages/embedded.scm: Likewise.
* gnu/packages/emulators.scm: Likewise.
* gnu/packages/engineering.scm: Likewise.
* gnu/packages/esolangs.scm: Likewise.
* gnu/packages/fabric-management.scm: Likewise.
* gnu/packages/file-systems.scm: Likewise.
* gnu/packages/finance.scm: Likewise.
* gnu/packages/firmware.scm: Likewise.
* gnu/packages/flashing-tools.scm: Likewise.
* gnu/packages/fontutils.scm: Likewise.
* gnu/packages/games.scm: Likewise.
* gnu/packages/gcc.scm: Likewise.
* gnu/packages/gdb.scm: Likewise.
* gnu/packages/geo.scm: Likewise.
* gnu/packages/gl.scm: Likewise.
* gnu/packages/glib.scm: Likewise.
* gnu/packages/gnome.scm: Likewise.
* gnu/packages/graph.scm: Likewise.
* gnu/packages/graphics.scm: Likewise.
* gnu/packages/groff.scm: Likewise.
* gnu/packages/gstreamer.scm: Likewise.
* gnu/packages/guile.scm: Likewise.
* gnu/packages/hardware.scm: Likewise.
* gnu/packages/haskell.scm: Likewise.
* gnu/packages/heads.scm: Likewise.
* gnu/packages/hurd.scm: Likewise.
* gnu/packages/image-processing.scm: Likewise.
* gnu/packages/instrumentation.scm: Likewise.
* gnu/packages/kde-frameworks.scm: Likewise.
* gnu/packages/kde-graphics.scm: Likewise.
* gnu/packages/kde-pim.scm: Likewise.
* gnu/packages/kde-sdk.scm: Likewise.
* gnu/packages/kerberos.scm: Likewise.
* gnu/packages/lego.scm: Likewise.
* gnu/packages/lesstif.scm: Likewise.
* gnu/packages/libreoffice.scm: Likewise.
* gnu/packages/lighting.scm: Likewise.
* gnu/packages/linux.scm: Likewise.
* gnu/packages/logging.scm: Likewise.
* gnu/packages/mail.scm: Likewise.
* gnu/packages/man.scm: Likewise.
* gnu/packages/maths.scm: Likewise.
* gnu/packages/mpi.scm: Likewise.
* gnu/packages/multiprecision.scm: Likewise.
* gnu/packages/music.scm: Likewise.
* gnu/packages/netpbm.scm: Likewise.
* gnu/packages/networking.scm: Likewise.
* gnu/packages/nickle.scm: Likewise.
* gnu/packages/ocaml.scm: Likewise.
* gnu/packages/package-management.scm: Likewise.
* gnu/packages/parallel.scm: Likewise.
* gnu/packages/plotutils.scm: Likewise.
* gnu/packages/pretty-print.scm: Likewise.
* gnu/packages/profiling.scm: Likewise.
* gnu/packages/qt.scm: Likewise.
* gnu/packages/radio.scm: Likewise.
* gnu/packages/rdesktop.scm: Likewise.
* gnu/packages/rpc.scm: Likewise.
* gnu/packages/rust.scm: Likewise.
* gnu/packages/security-token.scm: Likewise.
* gnu/packages/selinux.scm: Likewise.
* gnu/packages/shellutils.scm: Likewise.
* gnu/packages/simulation.scm: Likewise.
* gnu/packages/statistics.scm: Likewise.
* gnu/packages/telephony.scm: Likewise.
* gnu/packages/toys.scm: Likewise.
* gnu/packages/version-control.scm: Likewise.
* gnu/packages/virtualization.scm: Likewise.
* gnu/packages/vpn.scm: Likewise.
* gnu/packages/vulkan.scm: Likewise.
* gnu/packages/webkit.scm: Likewise.
* gnu/packages/wine.scm: Likewise.
* gnu/packages/wm.scm: Likewise.
* gnu/packages/xdisorg.scm: Likewise.
* gnu/packages/xorg.scm: Likewise.

Merges: https://codeberg.org/guix/guix/pulls/8483
Signed-off-by: Nguyễn Gia Phong <cnx@loang.net>

* gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946.
[phases] Remove unneeded phases and fix shebang fix.

Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

* gnu/packages/coq.scm (coq-mathcomp-bigenough) [propagated-inputs]:
Move coq and which from here...
[native-inputs]: ... to here.

Change-Id: I1a57175b69f6b4a5eba308bf60c9e74437563f58
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

* gnu/packages/coq.scm (coq-mathcomp-bigenough) [arguments]: Use new
style and remove uneeded make flags.

Change-Id: I11a6350a10cedd682cf598ecb8660b63a12aa00d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

* gnu/packages/coq.scm (coq-equations)[arguments]: Use G-expression.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6

* gnu/packages/coq.scm (coq-equations): Update to 1.3-8.18.

Change-Id: I42c9ae2499fa9d5234c21bff416a3d6e30382e93

* gnu/packages/coq.scm (coq-bignums)[arguments]: Use G-expression.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6

* gnu/packages/coq.scm (coq-bignums): Update to 9.0.0+coq8.18.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6

* gnu/packages/coq.scm (coq): Update to 8.18.0.

Change-Id: I644a4538538a23d736fca2fab541c2cd2fb1f472
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>

Otherwise each Coq plugin needs to specify it.

* gnu/packages/coq.scm (coq)[inputs]: Move ocaml-zarith from here...
[propagated-inptus]: ... to here.
(coq-gappa)[inputs]: Remove ocaml-zarith.
(coq-bignums)[inputs]: Likewise.
(coq-interval)[inputs]: Likewise.
(coq-equations)[inputs]: Likewise.

Change-Id: I63cab11032cc6d4673efc9fdcf14be2929bda05e
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>