oar-user-mysql - 2.5.9-1+deb12u1 main

OAR is a versatile resource and task manager (also called a batch scheduler)
for clusters and other computing infrastructures
.
This empty package installs the MySQL dependencies for the user part of the
OAR batch scheduler.