Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2024 09:57:47 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Cha
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Mon, 22 Apr 2024 18:06:42 +0200
Source: ott
Architecture: source
Version: 0.33+ds-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ju
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2024 09:57:16 +0100
Source: flocq
Architecture: source
Version: 4.1.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ju
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 10 Apr 2024 09:29:16 +0200
Source: coq-unimath
Architecture: source
Version: 20240331-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Chang
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Fri, 26 Apr 2024 15:42:54 +0200
Source: coq-menhirlib
Architecture: source
Version: 20231231+ds-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Fri, 26 Apr 2024 15:41:03 +0200
Source: coq-libhyps
Architecture: source
Version: 2.0.8-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 30 Mar 2024 09:44:04 +0100
Source: coq-hott
Architecture: source
Version: 8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By:
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 10 Apr 2024 08:56:56 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Chan
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2024 09:51:53 +0100
Source: coq-bignums
Architecture: source
Version: 9.0.0+coq8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2024 09:56:43 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 24 Feb 2024 09:51:21 +0100
Source: aac-tactics
Architecture: source
Version: 8.19.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 30 Mar 2024 09:35:03 +0100
Source: coq-elpi
Architecture: source
Version: 2.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By:
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 30 Mar 2024 09:33:52 +0100
Source: coq-dpdgraph
Architecture: source
Version: 1.0+8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Chan
Dear maintainers,
Please don't feel bothered by my sudden letter.
I would like to ask for your help.
This e-mail is about the support for LoongArch architecture in ocaml source.
The support for LoongArch architecture has been submitted in ocaml upstream.
However, the submission request to suppor
14 matches
Mail list logo