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

Get this branch:: git clone -b importer/ubuntu/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

907a64e... by Ubuntu Git Importer <email address hidden> on 2024-06-10: DSC file for 4.2.0-2
820334e... by Ubuntu Git Importer <email address hidden> on 2024-05-13: DSC file for 4.2.0-1build2
92d4897... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 4.2.0-1build1
d0af509... by Ubuntu Git Importer <email address hidden> on 2024-05-02: DSC file for 4.2.0-1
8c0fbc9... by Ubuntu Git Importer <email address hidden> on 2024-04-08: DSC file for 4.1.0-1build3
1ccb582... by Ubuntu Git Importer <email address hidden> on 2024-03-31: DSC file for 4.1.0-1build2
6628d28... by Ubuntu Git Importer <email address hidden> on 2024-03-25: DSC file for 4.1.0-1build1
60e7949... by Ubuntu Git Importer <email address hidden> on 2023-12-23: DSC file for 4.1.0-1
56e862a... by Ubuntu Git Importer <email address hidden> on 2023-12-23: DSC file for 4.0.0-4build4
470e414... by Ubuntu Git Importer <email address hidden> on 2023-11-23: DSC file for 4.0.0-4build3

»