bamesse@orangehrm_stlaurent:~$ sudo dpkg -i mysql-server_5.7.23-1debian8_amd64.deb
dpkg: warning: downgrading mysql-server from 5.7.25-0ubuntu0.18.04.2 to 5.7.23-1debian8
(Reading database ... 68127 files and directories currently installed.)
Preparing to unpack mysql-server_5.7.23-1debian8_amd64.deb ...
Unpacking mysql-server (5.7.23-1debian8) over (5.7.25-0ubuntu0.18.04.2) ...
dpkg: dependency problems prevent configuration of mysql-server:
 mysql-server depends on mysql-community-server (= 5.7.23-1debian8); however:
  Package mysql-community-server is not installed.

dpkg: error processing package mysql-server (--install):
 dependency problems - leaving unconfigured
Errors were encountered while processing:
 mysql-server
bamesse@orangehrm_stlaurent:~$ sudo apt-get install -f
Reading package lists... Done
Building dependency tree
Reading state information... Done
Correcting dependencies... Done
The following additional packages will be installed:
  mysql-server
The following packages will be upgraded:
  mysql-server
1 upgraded, 0 newly installed, 0 to remove and 3 not upgraded.
1 not fully installed or removed.
Need to get 0 B/9,944 B of archives.
After this operation, 61.4 kB of additional disk space will be used.
Do you want to continue? [Y/n] y
(Reading database ... 68129 files and directories currently installed.)
Preparing to unpack .../mysql-server_5.7.25-0ubuntu0.18.04.2_all.deb ...
Unpacking mysql-server (5.7.25-0ubuntu0.18.04.2) over (5.7.23-1debian8) ...
Setting up mysql-server (5.7.25-0ubuntu0.18.04.2) ...