gnu: clingo-dl: Update to 1.5.0.

* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.

gnu: clingo: Build from actual sources.

* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.

gnu: clingo: Update to 5.7.1.

* gnu/packages/potassco.scm (clingo): Update to 5.7.1.

gnu: clasp: Update to 3.3.10.

* gnu/packages/potassco.scm (clasp): Update to 3.3.10.

gnu: libpotassco: Update to 0.0-2.69b677f.

* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.

gnu: python-scikit-build: Install cmake modules.

* gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add
‘install-cmake’.

gnu: Add wide-integer.

* gnu/packages/cpp.scm (wide-integer): New variable.

gnu: c2ffi: Update to 16.0.0.0.

* gnu/packages/cpp.scm (c2ffi): Update to 16.0.0.0.
  [native-inputs, inputs]: Replace clang-12 by clang-16.

Change-Id: I8b9562ea865347eafd2e098c3cf2b42611140aff
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>

gnu: cl-ironclad: Update to 0.60.

* gnu/packages/lisp-xyz.scm (sbcl-ironclad): Update to 0.60.

Change-Id: I9a2d44b255343607a1a69b996bfb0f4a04e8917a

gnu: Add bruteforce-salted-openssl.

* gnu/packages/password-utils.scm (bruteforce-salted-openssl): New variable.

Change-Id: I90e52a6f70333ef14024fd794b6cb55692fdc24e

gnu: bruteforce-luks: Update to 1.4.1.

* gnu/packages/password-utils.scm (bruteforce-luks): Update to 1.4.1.
  [source]: Switch to git-fetch method.
  [native-inputs]: Remove lzip, add autoconf and automake.

Change-Id: Iea339deb9d4331cb0813468fbcd84b7a5112e6bd

gnu: emacs-telega: Update to 0.8.250.

* gnu/packages/emacs-xyz.scm (emacs-telega): Update to 0.8.250.

Signed-off-by: Andrew Tropin <andrew@trop.in>
Change-Id: I6831d50fad8f9d79a38bb762a05558812827d4b7

gnu: Add python-fastapi-pagination.

* gnu/packages/python-web.scm (python-fastapi-pagination): New variable.

Change-Id: I3d5563baf7167e0bd0718cdbfc4a869a0bc96911
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add python-fastapi-pagination-minimal.

* gnu/packages/python-web.scm
(python-fastapi-pagination-minimal): New variable.

Change-Id: I69e06ba405bce57409d83f3545e6db2905d3c6a4
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: go-github-com-signintech-gopdf: Remove examples.

* gnu/packages/golang.scm (go-github-com-signintech-gopdf): Remove examples.
[arguments] <#:phases>: Add remove-examples phase.

Signed-off-by: Hilton Chain <hako@ultrarare.space>
Change-Id: I0a285c30856d3b22fa8abdbe71e1f0e149dae082

gnu: go-github-com-signintech-gopdf: Update to 0.22.1.

* gnu/packages/golang.scm (go-github-com-signintech-gopdf): Update to 0.22.1.

Signed-off-by: Hilton Chain <hako@ultrarare.space>

gnu: cage: Fix cross-compilation.

* gnu/packages/wm.scm (cage)[native-inputs]: Add wayland.

Change-Id: I7f929570c8daa43872f7ecfb021bce6ec3e7b8f7
Signed-off-by: Hilton Chain <hako@ultrarare.space>

gnu: gmid: Update to 2.0.1.

* gnu/packages/web.scm (gmid): Update to 2.0.1.

Change-Id: Iffd226d5c0f132d417ad5d686b9801d3126f70c2
Signed-off-by: Hilton Chain <hako@ultrarare.space>

gnu: reproc: Improve package style.

* gnu/packages/cpp.scm (reproc)[arguments]: Use G-expressions.
<#:configure-flags>: Remove unnecessary comment.
Enable CMake variable with ON rather than 1.

Change-Id: Ic5e6747e7978a40d1aab66b4c3634342736c0bcf
Signed-off-by: Hilton Chain <hako@ultrarare.space>

gnu: reproc: Enable reproc++.

* gnu/packages/cpp.scm (reproc)[arguments]<#:configure-flags>: Add
-DREPROC++=ON.

Change-Id: I2bf6c4c45df6a1ca5569ce1cf63c42905cc336d0
Signed-off-by: Hilton Chain <hako@ultrarare.space>