opam-graph/packaging/debian
2023-09-09 12:32:42 +02:00
..
changelog Add {debian,FreeBSD} packaging scripts 2022-07-27 10:15:56 +02:00
control roburio -> robur-coop 2023-09-09 12:32:42 +02:00
copyright roburio -> robur-coop 2023-09-09 12:32:42 +02:00
create_package.sh add execute permissions to the packaging scrips, fixes #9 2022-10-19 00:05:39 +02:00