ubuntu/+source/why:applied/ubuntu/quantal

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

420747b... by Mehdi on 2012-05-16

2.30+dfsg-5 (patches applied)

Imported using git-ubuntu import.

1c7d2b9... by Mehdi on 2012-05-16

Replace caduceus invocation by Frama-C

Gbp-Pq: 0007-Replace-caduceus-invocation-by-Frama-C.patch.

46a2636... by Mehdi on 2012-05-16

Fix spelling-error-in-binary

Gbp-Pq: 0006-Fix-spelling-error-in-binary.patch.

bacad4b... by Mehdi on 2012-05-16

Fix Jc_annot_inference (use old_reg_pos)

Gbp-Pq: 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch.

84a52d1... by Mehdi on 2012-05-16

Default to why2 for -jessie-atp

Gbp-Pq: 0004-Default-to-why2-for-jessie-atp.patch.

c9c4578... by Mehdi on 2012-05-16

Fix non-exhaustive pattern-matching in jc_annot_inference.ml

Gbp-Pq: 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch.

3fd8c5f... by Mehdi on 2012-05-16

Mark alt-ergo > 0.93 as compatible

Gbp-Pq: 0002-Mark-alt-ergo-0.93-as-compatible.patch.

3fbed84... by Mehdi on 2012-05-16

Why 2.29 do support Coq 8.3

Gbp-Pq: 0001-Why-2.29-do-support-Coq-8.3.patch.

ca98479... by Mehdi on 2012-05-16

2.30+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.

615ca39... by Stéphane Glondu on 2012-04-06

2.30+dfsg-4 (patches applied)

Imported using git-ubuntu import.