gnu: python-pytest-mockito: Update to 0.0.5.

* gnu/packages/python-check.scm (python-pytest-mockito): Update to 0.0.5.
[arguments] <phases>: Add 'set-version; use default 'check.
[propagated-inputs]: Remove python-pytest.
[native-inputs]: Add python-hatch-vcs, python-hatchling,
python-pytest-bootstrap, and python-setuptools-scm.

Change-Id: Ie6acb167416a8d236dd9c9533128a44ceae85589

gnu: Add python-amaranth.

* gnu/packages/electronics.scm (python-amaranth): New variable.

Change-Id: I2a914751b600fe22d8d5ca885d847957bbe2793e

gnu: Add python-pyvcd.

* gnu/packages/electronics.scm (python-pyvcd): New variable.

Change-Id: Id01ee8ceba3df4ed2730fd8bfedf35a4fc2a3172

gnu: Add python-jschon.

* gnu/packages/python-xyz.scm (python-jschon): New variable.

Change-Id: I0c79df0fd79190a64fb52b998032b0a4ed54ca25

gnu: sby: Fix typo.

* gnu/packages/electronics.scm (sby)[arguments]: Fix typo in
'patch-/usr/bin/env #:phase.

Change-Id: I00e1c6d6df1161bfc8ea8cec68efa2f6a61f343d

gnu: yices: Update to 2.7.0.

* gnu/packages/maths.scm (yices): Update to 2.7.0.
[native-inputs]: Add python-minimal-wrapper.
[source]: Switch to git-fetch.

Change-Id: I5b6d05770b11f7218339fb7266e9da7681dd20a3

gnu: libpoly: Update to 0.2.0.

* gnu/packages/maths.scm (libpoly): Update to 0.2.0.
[native-inputs]: Add python-minimal-wrapper.
[arguments]: Remove #:configure-flags.

Change-Id: Ib920e643fa5f8eea387ed802c137a67410a8dbfa

gnu: Add eqy.

* gnu/packages/electronics.scm (eqy): New variable.

Change-Id: I8ec52ccddc549ca6fa65ef073a905d09fa27000b

gnu: Add mcy.

* gnu/packages/electronics.scm (mcy): New variable.

Change-Id: I3f78e42d91255e7adf88609a82111e53f0225f33

gnu: Add sby-gui.

* gnu/packages/electronics.scm (sby-gui): New variable.

Change-Id: If1a1737f735b0e7b27a10b864c192600e22b53b9

gnu: Rename variable symbiyosys to sby.

* gnu/packages/electronics.scm (symbiyosys): Rename to "sby".
(simbiyosys): Define as deprecated by "sby".

Change-Id: I4717cef165862eea841d33d9aff03f62d3383487

gnu: symbiyosys: Fix build.

* gnu/packages/electronics.scm (symbiyosys)[inputs]: Remove
git-minimal/pinned and yosys; add yosys-clang.
[arguments]<#:make-flags>: Use clang.
<#:phases>: Add build and delete git-init.
<#:parallel-tests?>: Disable.
[home-page]: Update.
[description]: Improve.
[synopsis]: Typo.

Change-Id: I7ce2ba0daf35b2c21df3c217ef3113e621d129cc

gnu: Rename (gnu packages pikchr) into (gnu packages diagram)

* gnu/packages/pikchr.scm: Rename to gnu/packages/diagram.scm.
* gnu/local.mk (GNU_SYSTEM_MODULES): Change file name.
* po/packages/POTFILES.in: Likewise.

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

gnu: Add dpic.

* gnu/packages/pikchr.scm (dpic): New variable.

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

gnu: duperemove: Update to 0.15.2.

* gnu/packages/disk.scm (duperemove): Update to 0.15.2.
[native-inputs]: Add xxhash, libbsd.

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

gnu: Remove mercurial/pinned.

* gnu/packages/version-control.scm (mercurial/pinned): Delete variable.
(mercurial-check-phase): Move into mercurial.
* guix/hg-download.scm (hg-package): Use mercurial.

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

gnu: Remove subversion/pinned.

* gnu/packages/version-control.scm (subversion/pinned): Delete variable.
* guix/svn-download.scm (subversion-package): Use subversion

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

gnu: blueman: Update to 2.4.6.

* gnu/packages/networking.scm (blueman): Update to 2.4.6.

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

gnu: udiskie: Update to 2.5.8.

* gnu/packages/freedesktop.scm (udiskie): Update to 2.5.8.

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

gnu: mu: Add additional file to patch-bin-references phase.

* gnu/packages/mail.scm (mu): Add mu-utils-file.cc's call to /bin/rm to
patch-bin-references phase.

When mu runs as a server, it creates a randomly-named temporary directory in
`/tmp/`. Mu previously hard-coded a path to `/bin/rm` for removing this
directory when the server closed. We missed this one in the phase that patches
these paths.

This has also been reported upstream, but will only make it into the next
release of mu. In the meantime, we can just patch the /bin/rm for ours and
remove the whole phase when the next release happens.

https://github.com/djcb/mu/issues/2887
https://github.com/djcb/mu/commit/f237a2b9905475fb95da6a04e318d10cab61ddeb
https://github.com/djcb/mu/commit/fc4d5b01a703e8c8cc390cfea135f08d3b45ccab

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