Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > cauldron > i586 > media > core-release > by-pkgid > 3a698da71199a80b1b66a4625fa44acd > changelog

coq-ide-server-8.16.1-1.mga9.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Sat Jan 7 2023 papoteur <papoteur> 8.16.1-1.mga9

  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust
  - Rebuild against new ocaml
  + tv
  - Updates BRs
  - Fix install
  + pterjan
  - Rebuild for new ocaml-lablgtk3

• Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9

  + Revision: 1859409
  - Rebuild for OCaml 4.14

• Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9

  + Revision: 1751562
  - Rebuild for ocaml 4.13.1

• Sun Sep 5 2021 wally <wally> 8.13.2-1.mga9

  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs

• Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9

  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust
  - Rebuild against new ocaml stack

• Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8

  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones

• Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8

  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv
  - remove one BR workaround which is now fixed