bug#37239: [PATCH] gnu: mariadb: Split into out, lib and dev.

guix-patches

[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#37239: [PATCH] gnu: mariadb: Split into out, lib and dev.

From:	Julien Lepiller
Subject:	bug#37239: [PATCH] gnu: mariadb: Split into out, lib and dev.
Date:	Sat, 12 Oct 2019 13:08:55 +0200

Pushed as 2b8491fbbe818944baf454faf1326034022ac320 on staging. Thank
you!

[Prev in Thread]

Current Thread

[Next in Thread]

bug#37239: [PATCH] gnu: mariadb: Split into out, lib and dev., Julien Lepiller <=

Prev by Date: [bug#37708] [PATCH] gnu: add uchardet
Next by Date: bug#37707: [PATCH] gnu: python-scikit-learn: Update to 0.20.4
Previous by thread: [bug#36000] Acknowledgement ([PATCH 1/4] guix: Add helper for generating desktop entry files.)
Next by thread: [bug#37710] [PATCH: core-updates] gnu: re2c: Update to 1.2.1.
Index(es):
- Date
- Thread