[Agda] lib for Development Agda

[Sergei Meshveliani]

Dear Agda team,

Is is true that Development Agda of November 6 2018 
(2.6.0-e7da0ce)
uses Standard library  lib-0.17 ?

I try to upgrade the application from Development Agda of September 7 to
Development of November 6,
and it reports
  Failed to find source of module
  Data.List.Relation.Sublist.Extensional.Setoid in any of the
  following locations:
  ...

It is desirable to understand what is the intended library for the
official Agda version to which Development Agda approaches. 

Regards,

------
Sergei