opam-graph/packaging/debian
2022-10-19 00:05:39 +02:00
..
changelog Add {debian,FreeBSD} packaging scripts 2022-07-27 10:15:56 +02:00
control packaging/debian/control: fix typos 2022-07-27 10:15:56 +02:00
copyright minor fixes 2022-07-27 10:21:04 +02:00
create_package.sh add execute permissions to the packaging scrips, fixes #9 2022-10-19 00:05:39 +02:00