importer/debian/dsc : lp:ubuntu/+source/coq-iris : Git : Code : coq-iris package : Ubuntu

Get this branch:: git clone -b importer/debian/dsc https://git.launchpad.net/ubuntu/+source/coq-iris

Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch information

0c3f79e... by Ubuntu Git Importer <email address hidden> on 2024-06-10: DSC file for 4.2.0-2
90f6c94... by Ubuntu Git Importer <email address hidden> on 2024-04-28: DSC file for 4.2.0-1
e4cb6c3... by Ubuntu Git Importer <email address hidden> on 2023-12-23: DSC file for 4.1.0-1
7918390... by Ubuntu Git Importer <email address hidden> on 2023-06-13: DSC file for 4.0.0-4
5bd564f... by Ubuntu Git Importer <email address hidden> on 2023-01-26: DSC file for 4.0.0-3
f97e885... by Ubuntu Git Importer <email address hidden> on 2022-09-11: DSC file for 4.0.0-2
a0dde20... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 4.0.0-1
a12c914... by Ubuntu Git Importer <email address hidden> on 2022-08-26: DSC file for 3.6.0-1

»