diff options
| author | Giacomo Leidi <goodoldpaul@autistici.org> | 2024-10-26 00:01:14 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2024-11-01 22:55:01 +0100 |
| commit | a3bdbb9ec165650e2d0d3d8a35b0e06182409a64 (patch) | |
| tree | 672e871d9e085428c53d1a90b87169f6d95f77f9 /nongnu/packages/coq.scm | |
| parent | 883c28fcec307f1365cbc654c14a01d7b46f83d8 (diff) | |
nongnu: anytype: Update to 0.43.1.
* nongnu/packages/productivity.scm (anytype): Update to 0.43.1.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions