# First check in the corresponding subfolders if the desired package is available for your configuration

#
# For Ubuntu or Debian
#

# On the PC that wants to install the package
sudo sh -c 'echo "deb [trusted=yes] https://packages.ensta-bretagne.fr/$(if [ -z "$(. /etc/os-release && echo $UBUNTU_CODENAME)" ]; then echo debian/$(. /etc/os-release && echo $VERSION_CODENAME); else echo ubuntu/$(. /etc/os-release && echo $UBUNTU_CODENAME); fi) ./" > /etc/apt/sources.list.d/ensta-bretagne.list'
# which should create a file /etc/apt/sources.list.d/ensta-bretagne.list with e.g. "deb [trusted=yes] https://packages.ensta-bretagne.fr/ubuntu/jammy ./" inside
sudo apt update
sudo apt install libibex-dev

# To remove the package
sudo apt remove libibex-dev
# To remove ensta-bretagne.fr from sources list
sudo rm -f /etc/apt/sources.list.d/ensta-bretagne.list
sudo apt update

#
# For Windows, using https://chocolatey.org/install
#

# On the PC that wants to install the package
choco install wget
wget https://packages.ensta-bretagne.fr/choco/ibex.2.8.9.nupkg --no-check-certificate -nv
choco source add -n=current-directory -s .
choco install ibex
# Check that all the packages and their dependencies were installed, if one failed (e.g. due to network-related errors) try to reinstall it using --force...

# To remove the package
choco uninstall ibex
# To remove the current directory from sources list
choco source remove -n=current-directory