mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 14:18:38 +02:00
Merge branch 'devel' into 'main'
forgot to bump latest version See merge request glicid-public/guix-glicid!50
This commit is contained in:
commit
84a496eb0e
1 changed files with 1 additions and 1 deletions
|
@ -81,7 +81,7 @@
|
|||
)
|
||||
|
||||
|
||||
(define local-rdma-core rdma-core-upstream-39.0)
|
||||
(define local-rdma-core rdma-core-upstream-41.0)
|
||||
|
||||
(define-public rdma-core-latest (latest-version local-rdma-core gnu:rdma-core))
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue