[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.0.orig.tar.bz2



Title: GitLab

Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3

Commits:

  • d6b40766
    by Ralf Treinen at 2025-01-01T16:25:15+01:00
    pristine-tar data for why3_1.8.0.orig.tar.bz2
    

1 changed file:

Changes:

  • why3_1.8.0.orig.tar.bz2.delta
    No preview for this file type

  • Reply to: