Ubuntu

ppxfind binary package in Ubuntu Focal armhf

  1. Focal (20.04)
  2. armhf
  3. ppxfind

 Ppxfind is a small command line tool that allow to apply ppx
 rewriters installed on the system on a file. It supports both new
 style ppx rewriters (driverised) and old styles ones.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-02-28 03:48:23 UTC Published Ubuntu Focal armhf release universe ocaml Optional 1.3-1build1
  • Published
  • Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Focal armhf proposed universe ocaml Optional 1.3-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-28 03:50:39 UTC Superseded Ubuntu Focal armhf release universe ocaml Optional 1.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of ppxfind 1.3-1build1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed armhf in Primary Archive for Ubuntu

Source package